3718 search results - page 292 / 744 » Programming by Integration in Robotics |
190
click to vote
FAC
2010
15 years 4 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
161
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
This paper introduces a new unobtrusive and cost-effective method for the capture and compression of program execution traces in real-time, which is based on a double move-to-fron...
277
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
184
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
166
click to vote
ICWL
2007
Springer
16 years 26 days ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...