Sciweavers

5326 search results - page 810 / 1066
» On what we can ensure
Sort
View
AAAI
1990
15 years 7 months ago
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
Gerhard Lakemeyer
EUROPAR
2010
Springer
15 years 7 months ago
Ants in Parking Lots
Ants provide an attractive metaphor for robots that "cooperate" in performing complex tasks. What, however, are the algorithmic consequences of following this metaphor? ...
Arnold L. Rosenberg
AUTOMATICA
2006
113views more  AUTOMATICA 2006»
15 years 6 months ago
Least costly identification experiment for control
All approaches to optimal experiment design for control have so far focused on deriving an input signal (or input signal spectrum) that minimizes some control-oriented measure of ...
Xavier Bombois, Gérard Scorletti, Michel Ge...
CORR
2006
Springer
79views Education» more  CORR 2006»
15 years 6 months ago
Source coding and channel requirements for unstable processes
Our understanding of information in systems has been based on the foundation of memoryless processes. Extensions to stable Markov and auto-regressive processes are classical. Berg...
Anant Sahai, Sanjoy K. Mitter
COGSCI
2007
139views more  COGSCI 2007»
15 years 6 months ago
Mapping the Color Space of Saccadic Selectivity in Visual Search
Color coding is used to guide attention in computer displays for such critical tasks as baggage screening or air traffic control. It has been shown that a display object attracts...
Yun Xu, Emily C. Higgins, Mei Xiao, Marc Pomplun