Sciweavers

7766 search results - page 302 / 1554
» Testing Nondeterminate Systems
Sort
View
PROPOR
2010
Springer
159views Languages» more  PROPOR 2010»
15 years 10 months ago
An Open-Source Speech Recognizer for Brazilian Portuguese with a Windows Programming Interface
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
Patrick Silva, Pedro Batista, Nelson Neto, Aldebar...
IADIS
2008
15 years 8 months ago
Intelligent Mobile Learning Effort
This paper is a comprehensive presentation of our efforts to support mobile learning. We are developing the Intelligent Mobile Learning System which provides adaptive course and a...
Panagiotis Kalagiakos
SEMWEB
2010
Springer
15 years 4 months ago
Completeness Guarantees for Incomplete Reasoners
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
AAI
2006
103views more  AAI 2006»
15 years 6 months ago
A generic time management service for distributed multi-agent systems
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
ICSE
2011
IEEE-ACM
14 years 10 months ago
Predictable dynamic deployment of components in embedded systems
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
Ana Petricic