197 search results - page 22 / 40 » On the Relationship between Spatial Logics and Behavioral Si... |
IADIS
2004
13 years 9 months ago
2004
The focus of this paper is on student learning theory. Use is made of an "analytic discovery tool" called Quantitative CyberQuest (QCQ) to help conceptualize the many go...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
ISCI
2007
13 years 7 months ago
2007
As a follow-up to the work of [4] and [5], this paper continues to explore the relationship between wealth share dynamics and risk preferences in the context of an agent-based mul...
BC
2000
13 years 7 months ago
2000
This paper considers interaction of the human arm with ``virtual'' objects simulated mechanically by a planar robot. Haptic perception of spatial properties of objects is...
AAAI
2006
13 years 9 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...