2317 search results - page 154 / 464 » Model based testing for agent systems |
139
Voted
TAP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
127
Voted
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
We consider the problem of distributed task allocation across swarm units comprising a swarm-based system. We model task allocation as a dynamic pricing problem within a market se...
109
Voted
FLAIRS
2003
15 years 5 months ago
2003
In this paper, a new hybrid adaptation model for cancer diagnosis has been developed. It combines transformational and hierarchical adaptation techniques with artificial neural ne...
146
Voted
NN
2006
Springer
15 years 3 months ago
2006
Springer
An important component of language acquisition and cognitive learning is gaze imitation. Infants as young as one year of age can follow the gaze of an adult to determine the objec...
133
Voted
PRL
2007
15 years 3 months ago
2007
Pose estimation has been considered to be an important component in many pattern recognition and computer vision systems. In this paper, we introduce a pose estimation method base...