2302 search results - page 98 / 461 » Testing as Abstraction |
154
click to vote
ICIRA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Two algorithms for area coverage (for use in space applications) were evaluated using a simulator and then tested on a multi-robot society consisting of LEGO Mindstorms r...
145
click to vote
IMCSIT
2010
15 years 3 months ago
2010
Abstract--A Web-based system for human evaluation of machine translation is presented in this paper. The system is based on comprehension tests similar to the ones used in Polish m...
168
click to vote
IMCSIT
2010
15 years 1 months ago
2010
Abstract--The paper is focused on NI Compact-RIO configured as a controller for the active magnetic levitation used here as a benchmark for time-critical systems. Three realtime co...
140
click to vote
COGSCI
2004
15 years 6 months ago
2004
People spontaneously discover new representations during problem solving. Discovery of a mathematical representation is of special interest, because it shows that the underlying s...
160
click to vote
FORTE
2008
15 years 7 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...