813 search results - page 102 / 163 » Correctness Properties for Multiagent Systems |
118
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes an accent identification system for Portuguese, that explores different type of properties: acoustic, phonotactic and prosodic. The system is designed to be ...
133
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
163
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Computational grids offer users a simple access to tremendous computer resources for solving large scale computing problems. Traditional performance analysis of scheduling algorit...
117
click to vote
ENTCS
2007
15 years 3 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
129
Voted
ASSETS
2006
ACM
15 years 9 months ago
2006
ACM
This work is a part of an ongoing project that focuses on potential applications of an interactive system that helps children with autism. Autism is classified as a neurodevelopm...