Sciweavers

1912 search results - page 306 / 383
» GOAL as a Planning Formalism
Sort
View
ECCC
2007
127views more  ECCC 2007»
15 years 6 months ago
Universal Semantic Communication I
Is it possible for two intelligent beings to communicate meaningfully, without any common language or background? This question has interest on its own, but is especially relevant...
Brendan Juba, Madhu Sudan
JAPLL
2008
100views more  JAPLL 2008»
15 years 5 months ago
Substantive and procedural norms in normative multiagent systems
Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to...
Guido Boella, Leendert van der Torre
EMSOFT
2011
Springer
14 years 6 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
16 years 28 days ago
Exploiting angular momentum to enhance bipedal center-of-mass control
Abstract— Recent humanoid control investigations have emphasized the importance of controlling whole-body angular momentum throughout a movement task. For typical movement tasks,...
Andreas Hofmann, Marko B. Popovic, Hugh M. Herr
ACMDIS
2006
ACM
16 years 7 days ago
Design research for a context-aware capture system to support biology education
Automatic capture technology could enable students to record and index much information—both digital and nondigital—with little extra effort. Can this technology be designed t...
Abe Crystal