11172 search results - page 589 / 2235 » Testing Physical Systems |
216
click to vote
ICAC
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this short paper, we give a brief overview a simulation environment, SimEAC, which was designed for testing algorithms with strong autonomic features. SimEAC enables a user ...
189
click to vote
LICS
2005
IEEE
16 years 23 days ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
208
click to vote
PROPOR
2010
Springer
15 years 10 months ago
2010
Springer
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...
196
click to vote
IADIS
2008
15 years 8 months ago
2008
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...
182
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
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...