All publications sorted by recency

Caroline Snowdon and Christian Kray, Exploring the use of landmarks for mobile navigation support in natural environments, in: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services, pages 13:1--13:10, ACM, 2009
Stephen L. Smith, Jana T\r{u}mová, Calin Belta and Daniela Rus, Optimal path planning under temporal logic constraints, in: Proceeding of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3288--3293, 2010
Randall C. Smith and Peter Cheeseman, On the Representation and Estimation of Spatial Uncertainty (1986), in: The International Journal of Robotics Research, 5:4(56-68)
Barry Smith and Berit Brogaard, A Unified Theory of Truth and Reference (2003), in: Loqique et Analyse, 43:169-170(49--93)
Andrew Smith, Trevor Cohn and Miles Osborne, Logarithmic Opinion Pools for Conditional Random Fields, in: Proc. of the 43rd Annual Meeting of the Assoc. for Computational Linguistics {(ACL)}, pages 18--25, 2005
P. Smets and R. Kennes, The transferable belief model (1994), in: Artificial intelligence, 66:2(191--234)
Philippe Smets, Belief functions: the disjunctive rule of combination and the generalized Bayesian theorem (1993), in: International Journal of Approximate Reasoning, 9(1--35)
P. Smets, Decision making in the TBM: the necessity of the pignistic transformation (2005), in: International Journal of Approximate Reasoning, 38:2(133--147)
Aaron Sloman, Afterthoughts on analogical representations, in: Proc. Theoretical Issues in Natural Language Processing (TINLAP-1), pages 164-168, Association for Computer Linguistics, 1975
Aaron Sloman, Why we need many knowledge representation formalisms, in: Research and development in expert systems. Proceedings BCS Expert Systems Conf. 1984, Cambridge University Press, 1985
P. Slezak, The 'philosophical' case against visual imagery, in: Perspective on cognitive science: Theories, experiments, and foundations, pages 237--271, Ablex, 1995
A. P. Sistla and E. M. Clarke, The complexity of propositional linear temporal logics (1985), in: Journal of the Association for Computing Machinery, 32:3(733--749)
B. J. Sipos, Application of the Manifold-Constrained Unscented Kalman Filter, in: Position, Location and Navigation Symposium, 2008 IEEE/ION, pages 30-43, 2008
Sudipta N. Sinha, Jan-Michael Frahm, Marc Pollefeys and Yakup Genc, GPU-Based Video Feature Tracking and Matching, in: EDGE 2006, Workshop on Edge Computing Using New Commodity Architectures, 2006
R. M. Simpson, D. E. Kitchin and T. L. McCluskey, Planning domain definition using GIPO, in: The Knowledge Engineering Review, pages 117-134, 2007