11588 search results - page 91 / 2318 » Will They Like This |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper explores the idea that the space-time of a virtual reality could appear to those within it as our space-time does to us. The likely processing needed to do this include...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Structured Information Retrieval is gaining a lot of interest in recent years, as this kind of information is becoming an invaluable asset for professional communities such as Sof...
AI
2011
Springer
13 years 5 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
MANSCI
2010
13 years 4 months ago
2010
Young male CEOs appear to be combative: they are 4% more likely to be acquisitive and, having initiated an acquisition, they are over 20% more likely to withdraw an offer. Further...
SOFSEM
2012
Springer
12 years 5 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...