All publications sorted by recency
| 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 |
| , , , , and , The tractability of model checking for LTL: The good, the bad, and the ugly fragments (2011), in: ACM Transactions on Computational Logic, 12:2(13:1--13:28) |
| and , Halo: a technique for visualizing off-screen objects, in: CHI '03: Proceedings of the SIGCHI conference on Human factors in computing systems, Ft. Lauderdale, Florida, USA, pages 481--488, ACM, 2003 |
[DOI] |
| , Finite Element Procedures, Prentice Hall, 1995 |
| , and , A Metric Approach to nD Images Edge Detection with Clifford Algebras (2009), in: Journal of Mathematical Imaging and Vision, 33(296--312) |
| , and , Algorithms in Real Algebraic Geometry, Springer, 2006 |
| , Transfer of domain-specific problem-solving procedures. (1990), in: Journal of Experimental Psychology: Learning, Memory, and Cognition, 16:3(522--533) |
[DOI] [URL] |
| , The Relationship Between Visual Perception and Visual Mental Imagery: A Reappraisal of the Neuropsychological Evidence (2002), in: Cortex, 38:3(357--378) |
| and , Perceptual Simulation in Conceptual Tasks Karen Olseth Solomon and (to appear), in: Simulation |
| , , and , Grounding conceptual knowledge in modality-specific systems. (2003), in: Trends in cognitive sciences, 7:2(84--91) |
[URL] |
| , Perceptual symbol systems. (1999), in: The Behavioral and brain sciences, 22:4(577--609; discussion 610--60) |
[URL] |
| , Abstraction in perceptual symbol systems. (2003), in: Philosophical transactions of the Royal Society of London. Series B, Biological sciences, 358:1435(1177--87) |
[DOI] [URL] |
| , Grounded cognition. (2008), in: Annual review of psychology, 59(617--45) |
[DOI] [URL] |
| and , Cognitive requirements on making and interpreting maps, in: Spatial information theory: A theoretical basis for GIS., pages 347-361, Springer, 1997 |
|
| , and , The Quickhull algorithm for convex hulls (1996), in: ACM Transactions on mathematical software, 22:4(469--483) |
| and , Large steps in cloth simulation, in: SIGGRAPH '98: Proceedings of the 25th annual conference on Computer graphics and interactive techniques, pages 43--54, ACM, 1998 |
[DOI] |
| , Fast Contact Force Computation for Nonpenetrating Rigid Bodies (1994), in: Computer Graphics, 28:Annual Conference Series(23--34) |
| , and , Estimation with Applications to Tracking and Navigation, John Wiley \& Sons, Inc., 2001 |
| and , Tracking and Data Association, Academic Press, 1988 |
| , , and , Pressure corrected SPH for fluid animation (2009), in: Computer Animation and Virtual Worlds, 20(311{\~n}320) |
| , Generalizing the Hough transform to detect arbitrary shapes (1981), in: Pattern Recognition, 13:2(111 -- 122) |
| and , A Discriminative Model for Semi-Supervised Learning (2010), in: Journal of the ACM (JACM), 57:3(1--46) |
| , Active perception (1988), in: Proceedings of the IEEE, 76:8(966--1005) |
[DOI] [URL] |
| , , and , Data Association for Multiple Robot Navigation: a Graph Theoretic Approach, in: icra, San Francisco, CA, USA, pages 2512-2517, 2000 |
| and , Simultaneous Localisation and Mapping (SLAM): Part II State of the Art (2006), in: Robotics and Automation Magazine, 13:3(108--117) |
| and , Simultaneous Localisation and Mapping (SLAM): Part II (2006), in: Robotics \& Automation Magazine, 13:3(108 -117) |
[DOI] |
| 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 |