Sciweavers

5718 search results - page 855 / 1144
» Modeling Rule Precision
Sort
View
AAAI
2008
15 years 8 months ago
Bimodal Spatial Reasoning with Continuous Motion
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
Samuel Wintermute, John E. Laird
BIS
2009
107views Business» more  BIS 2009»
15 years 8 months ago
Framework for Value Prediction of Knowledge-Based Applications
Knowledge-based applications are characterized by their use of machine-understandable formalizations of expert knowledge. Complex knowledge structures, and the features which explo...
Ali Imtiaz, Tobias Bürger, Igor O. Popov, Ele...
ESORICS
2010
Springer
15 years 8 months ago
A New Framework for RFID Privacy
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
Robert H. Deng, Yingjiu Li, Moti Yung, Yunlei Zhao
SIGCOMM
2010
ACM
15 years 7 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
COGSCI
2010
93views more  COGSCI 2010»
15 years 7 months ago
The Evolution of Relevance
With human language, the same utterance can have different meanings in different contexts. Nevertheless, listeners almost invariably converge upon the correct intended meaning. Th...
Thomas C. Scott-Phillips