9455 search results - page 1799 / 1891 » The Modelling Language Zinc |
141
click to vote
AROBOTS
2002
15 years 1 months ago
2002
In robotics, the idea of human and robot interaction is receiving a lot of attention lately. In this paper, we describe a multi-modal system for generating a map of the environment...
135
click to vote
CANDC
2004
ACM
15 years 1 months ago
2004
ACM
Gene and protein names follow few, if any, true naming conventions and are subject to great variation in different occurrences of the same name. This gives rise to two important p...
109
click to vote
CJ
2004
15 years 1 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
130
Voted
CLUSTER
2002
IEEE
15 years 1 months ago
2002
IEEE
CEJVM is a cluster enabled Java Virtual Machine, which executes in a distributed fashion among collaborating nodes of a dedicated cluster. It extends Java`s multithreading mechani...
110
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...