All publications sorted by journal and type
| 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-150 | 151-175 | 176-200 | 201-225 | 226-250 | 251-275 | 276-300 | 301-325 | 326-350 | 351-375 | 376-400 | 401-425 | 426-450 | 451-475 | 476-500 | 501-525 | 526-550 | 551-575 | 576-600 | 601-625 | 626-650 | 651-675 | 676-700 | 701-725 | 726-750 | 751-775 | 776-800 | 801-825 | 826-850 | 851-875 | 876-900 | 901-925 | 926-950 | 951-975 | 976-1000 | 1001-1025 | 1026-1050 | 1051-1075 | 1076-1100 | 1101-1125 | 1126-1150 | 1151-1175 | 1176-1200 | 1201-1225 | 1226-1250 | 1251-1275 | 1276-1300 | 1301-1325 | 1326-1350 | 1351-1375 | 1376-1400 | 1401-1425 | 1426-1450 | 1451-1475 | 1476-1500 | 1501-1525 | 1526-1550 | 1551-1575 | 1576-1600 | 1601-1625 | 1626-1650 | 1651-1675 | 1676-1700 | 1701-1725 | 1726-1750 | 1751-1775 | 1776-1800 | 1801-1825 | 1826-1850 | 1851-1875 | 1876-1900 | 1901-1925 | 1926-1950 | 1951-1975 | 1976-2000 | 2001-2025 | 2026-2050 | 2051-2075 | 2076-2100 | 2101-2125 | 2126-2150 | 2151-2175 | 2176-2200 | 2201-2225 | 2226-2250 | 2251-2275 | 2276-2300 | 2301-2325 | 2326-2350 | 2351-2375 | 2376-2400 | 2401-2425 | 2426-2450 | 2451-2475 | 2476-2500 | 2501-2525 | 2526-2550 | 2551-2575 | 2576-2600 | 2601-2625 | 2626-2650 | 2651-2675 | 2676-2700 | 2701-2725 | 2726-2750 | 2751-2764 |
Publications of type Inproceedings
1992
| , , and , Dressing animated synthetic actors with complex deformable clothes, in: SIGGRAPH '92: Proceedings of the 19th annual conference on Computer graphics and interactive techniques, pages 99--104, ACM, 1992 |
[DOI] |
| and , Dynamic deformation of solid primitives with constraints, in: Proc. of ACM SIGGRAPH'92, pages 309{\~n}312, 1992 |
| and , Error Correction in Mobile Robot Map Learning, in: Proceedings of the IEEE Conference on Robotics and Automation, pages 2555-2560, 1992 |
and , On the utilization of spatial structures for cognitively plausible and efficient reasoning, SMC’92–1992 IEEE Intern. Conf. Systems Man and Cybernetics, Chicago, pages 261-266, 1992
|
| , , , , and , Orientation-based qualitative spatial reasoning, ECAI ’92 Workshop Spatial Concepts: Connecting cognitive theories with formal representations, Vienna 1992, 1992 |
| and , Planning as Satisfiability, in: ecai, 1992 |
| and , Pump it up: Computer animation of a biomechanically based model of muscle using the finite element method, in: Proceedings of ACM SIGGRAPH, 1992 |
| , The Geometry of Environmental Knowledge, in: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, pages 136--152, Springer, 1992 |
1991
| , , , , , , , and , Dissociation of object and spatial visual processing pathways in human extrastriate cortex, in: Proceedings of the National Academy of Sciences--USA, pages 1621--1625, 1991 |
| and , Object Modeling by Registration of Multiple Range Images, in: Proc. of IEEE International Conference on Robotics and Automation, Sacramento, California, USA, pages 2724--2729, 1991 |
| , Qualitative Spatial Reasoning about Cardinal Directions, in: Proceedings of the American Congress on Surveying and Mapping ({ACSM-ASPRS}), pages 148--167, 1991 |
| and , Simultaneous map building and localization for an autonomous mobile robot, in: Proceedings of {IEEE/RSJ} International Workshop on Intelligent Robots and Systems, pages 1442-1447, 1991 |
1990
| and , Real-Time Obstacle Avoidance for Fast Mobile Robots in Cluttered Environments, in: icra, pages 572-577, 1990 |
1989
| , , and , A Comparative study of Hough transform methods for circle finding, in: Proceedings of the Alvey Vision Conference, 1989 |
1988
| and , A combined corner and edge detector, in: Proceedings of the 4th Alvey Vision conference, pages 147--151, 1988 |
| and , Collision Detection and Response for Computer Animation, in: Proceedings of the 15th annual conference on Computer graphics and interactive techniques, 1988 |
| and , Constraints methods for flexible models, in: SIGGRAPH '88: Proceedings of the 15th annual conference on Computer graphics and interactive techniques, pages 279--288, ACM, 1988 |
[DOI] |
| , , and , Decidable Optimization Problems for Database Logic Programs (Preliminary Report), in: STOC, pages 477-490, 1988 |
[DOI] |
| , and , Geometric camera calibration using systems of linear equations, in: Proc. of the IEEE Int. Conf. on Robotics and Automation, 1988 |
1987
| and , Marching cubes: A high resolution 3D surface construction algorithm, in: SIGGRAPH '87: Proceedings of the 14th annual conference on Computer graphics and interactive techniques, pages 163--169, ACM Press, 1987 |
[DOI] |
1986
| , Modeling waves and surf, in: SIGGRAPH'86: Proceedings of the 13th annual conference on Computer graphics and interactive techniques, pages 65{\~n}74, ACM Press, 1986 |
[DOI] |
1985
| and , Checking that finite state concurrent programs satisfy their linear specification, in: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL '85), New Orleans, Louisiana, United States, pages 97--107, ACM, 1985 |
| , Granularity, in: Proceedings of {IJCAI}, pages 432-435, 1985 |
| and , High Resolution Maps from Angle Sonar, in: Proceedings of the IEEE Conference on Robotics and Automation (ICRA-85), pages 116-121, 1985 |
| , Why we need many knowledge representation formalisms, in: Research and development in expert systems. Proceedings BCS Expert Systems Conf. 1984, Cambridge University Press, 1985 |
| 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-150 | 151-175 | 176-200 | 201-225 | 226-250 | 251-275 | 276-300 | 301-325 | 326-350 | 351-375 | 376-400 | 401-425 | 426-450 | 451-475 | 476-500 | 501-525 | 526-550 | 551-575 | 576-600 | 601-625 | 626-650 | 651-675 | 676-700 | 701-725 | 726-750 | 751-775 | 776-800 | 801-825 | 826-850 | 851-875 | 876-900 | 901-925 | 926-950 | 951-975 | 976-1000 | 1001-1025 | 1026-1050 | 1051-1075 | 1076-1100 | 1101-1125 | 1126-1150 | 1151-1175 | 1176-1200 | 1201-1225 | 1226-1250 | 1251-1275 | 1276-1300 | 1301-1325 | 1326-1350 | 1351-1375 | 1376-1400 | 1401-1425 | 1426-1450 | 1451-1475 | 1476-1500 | 1501-1525 | 1526-1550 | 1551-1575 | 1576-1600 | 1601-1625 | 1626-1650 | 1651-1675 | 1676-1700 | 1701-1725 | 1726-1750 | 1751-1775 | 1776-1800 | 1801-1825 | 1826-1850 | 1851-1875 | 1876-1900 | 1901-1925 | 1926-1950 | 1951-1975 | 1976-2000 | 2001-2025 | 2026-2050 | 2051-2075 | 2076-2100 | 2101-2125 | 2126-2150 | 2151-2175 | 2176-2200 | 2201-2225 | 2226-2250 | 2251-2275 | 2276-2300 | 2301-2325 | 2326-2350 | 2351-2375 | 2376-2400 | 2401-2425 | 2426-2450 | 2451-2475 | 2476-2500 | 2501-2525 | 2526-2550 | 2551-2575 | 2576-2600 | 2601-2625 | 2626-2650 | 2651-2675 | 2676-2700 | 2701-2725 | 2726-2750 | 2751-2764 |