3379 search results - page 54 / 676 » Combinators for Interaction Nets |
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
SIMPRA
2008
14 years 11 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
108
click to vote
INTERACTION
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we introduce a novel binary method for fast computation of an objective function to measure inter and intra class similarities, which is used for combining multiple...
DSVIS
2000
Springer
15 years 4 months ago
2000
Springer
This article proposes a framework that will help analyze current and future output multimodal user interfaces. We first define an output multimodal system. We then present our fram...
103
click to vote
IPMI
1999
Springer
15 years 4 months ago
1999
Springer
Three dimensional models of anatomical structures are currently used to aid in medical diagnosis, treatment, surgical guidance, and surgical simulation. Limitations on the resolut...