22864 search results - page 506 / 4573 » An Integrated and |
170
click to vote
ICMI
2004
Springer
16 years 14 days ago
2004
Springer
When talking about spatial domains, humans frequently accompany their explanations with iconic gestures to depict what they are referring to. For example, when giving directions, ...
225
click to vote
LPNMR
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
174
click to vote
MKM
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
166
click to vote
SELMAS
2004
Springer
16 years 13 days ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...
170
click to vote
SETN
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In this paper, we describe the framework created for implementing AI-based animations for artificial actors in the context of IVE (Intelligent Virtual Environments). The...