2573 search results - page 131 / 515 » Combinations of Modal Logics |
166
click to vote
VR
2010
IEEE
14 years 11 months ago
2010
IEEE
We present a prototype mobile augmented reality client addition to the "Image Space" mixed reality media sharing service. We have explored how the real world aligned &qu...
131
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
A non-uniform cellular automata-based model is presented for the evolutionary development of digital circuits at the gate level. The main feature of this model is the modified lo...
184
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
129
click to vote
FOIS
2006
15 years 5 months ago
2006
Abstract. A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for the...
135
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...