1992 search results - page 320 / 399 » Model Based Testing with Labelled Transition Systems |
126
Voted
EUSFLAT
2003
15 years 4 months ago
2003
Recently, several algorithms have been proposed for using neural networks in dynamic analysis of small structural systems, and also constructing adaptive material modeling subrout...
137
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute an expressive framework for multiagent planning under uncertainty, but solving them is provabl...
138
click to vote
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
124
click to vote
CVPR
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes an active-camera real-time system for tracking, shape description, and classification of the human face and mouth using only an SGI Indy computer. The system...
184
Voted
CAINE
2010
15 years 20 days ago
2010
The ability for humans to understand and process the emotional content of speech is unsurpassed by simulated intelligent agents. Beyond the linguistic content of speech are the un...