3718 search results - page 464 / 744 » Programming by Integration in Robotics |
220
click to vote
DALT
2004
Springer
16 years 18 days ago
2004
Springer
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engine...
174
click to vote
ECAI
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
193
click to vote
FLOPS
2004
Springer
16 years 18 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
192
click to vote
NLDB
2004
Springer
16 years 17 days ago
2004
Springer
—Most Web and legacy paper-based documents are available in human comprehensible text form, not readily accessible to or understood by computer programs. Here, we investigate an ...
196
click to vote
QSIC
2003
IEEE
16 years 14 days ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...