1128 search results - page 83 / 226 » Classical Natural Deduction |
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— We present GATMO (Generalized Approach to Tracking Movable Objects), a system for localization and mapping that incorporates the dynamic nature of the environment while maintai...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
Information distillation techniques are used to analyze and interpret large volumes of speech and text archives in multiple languages and produce structured information of interes...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
It has been promising to provide personalized services for improving our living environment in support of information technologies. Sitting is one of the natural actions in our da...
CICLING
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Classification in genres and domains is a major field of research for Information Retrieval (scientific and technical watch, datamining, etc.) and the selection of app...
ACRI
2006
Springer
14 years 4 months ago
2006
Springer
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...