3844 search results - page 524 / 769 » Modular interpreted systems |
178
click to vote
ICDT
2007
ACM
16 years 22 days ago
2007
ACM
In this paper, we introduce preferential regular path queries. These are regular path queries whose symbols are annotated with preference weights for “scaling” up or down the i...
190
click to vote
MIRAGE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we present an agent that can analyse certain human fullbody movements in order to respond in an expressive manner with copying behaviour. Our work focuses o...
183
click to vote
CSFW
2006
IEEE
16 years 19 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
144
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
Movement in wireless and sensor environments changes the degree to which we can communicate. Whereas sensor networks are generally seen as static, in many situations there is at l...
162
click to vote
IJCNN
2006
IEEE
16 years 18 days ago
2006
IEEE
—We present a structured model of context that supports an integrated approach to language acquisition and use. The model extends an existing formal notation, Embodied Constructi...