Sciweavers

10568 search results - page 80 / 2114
» Computer Intelligence and Formalization
Sort
View
ICRA
2008
IEEE
104views Robotics» more  ICRA 2008»
15 years 4 months ago
High performance control for graceful motion of an intelligent wheelchair
— To be acceptable to human drivers, the motion of an intelligent robotic wheelchair must be more than just collision-free: it must be graceful. We define graceful motion as bei...
Shilpa Gulati, Benjamin Kuipers
CANDC
2009
ACM
15 years 4 months ago
A sub-symbolic model of the cognitive processes of re-representation and insight
We present a sub-symbolic computational model for effecting knowledge re-representation and insight. Given a set of data, manifold learning is used to automatically organize the d...
Dan Ventura
ICANN
2009
Springer
15 years 4 months ago
Connectionist Models for Formal Knowledge Adaptation
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
Ilianna Kollia, Nikos Simou, Giorgos B. Stamou, An...
ECAI
2000
Springer
15 years 2 months ago
Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis
We introduce here the notions of identity and unity as they have been discussed in Philosophy, and then provide additional clarifications needed to use these notions as fundamental...
Nicola Guarino, Christopher A. Welty
FLAIRS
2006
14 years 11 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili