Sciweavers

704 search results - page 76 / 141
» A Note on Typing Feature Structures
Sort
View
104
Voted
ICRA
2009
IEEE
144views Robotics» more  ICRA 2009»
15 years 9 months ago
Reusable electronics and adaptable communication as implemented in the odin modular robot
Abstract— This paper describes the electronics and communication system of Odin, a novel heterogeneous modular robot made of links and joints. The electronics is divided into two...
Ricardo Franco Mendoza Garcia, Andreas Lyder, Davi...
COORDINATION
2004
Springer
15 years 8 months ago
O'Klaim: A Coordination Language with Mobile Mixins
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
Lorenzo Bettini, Viviana Bono, Betti Venneri
106
Voted
ATAL
2008
Springer
15 years 4 months ago
Goals in agent systems: a unifying framework
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
M. Birna van Riemsdijk, Mehdi Dastani, Michael Win...
117
Voted
ECOOP
2008
Springer
15 years 4 months ago
Session-Based Distributed Programming in Java
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
Raymond Hu, Nobuko Yoshida, Kohei Honda
117
Voted
ACL
2006
15 years 4 months ago
Modelling Lexical Redundancy for Machine Translation
Certain distinctions made in the lexicon of one language may be redundant when translating into another language. We quantify redundancy among source types by the similarity of th...
David Talbot, Miles Osborne