452 search results - page 27 / 91 » Symbolic Execution of Behavioral Requirements |
164
click to vote
CGO
2006
IEEE
16 years 2 days ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...
158
click to vote
AAMAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...
174
click to vote
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
161
click to vote
AIPS
2006
15 years 7 months ago
2006
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
157
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...