2302 search results - page 328 / 461 » Testing as Abstraction |
170
click to vote
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 12 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...
154
click to vote
PCM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...
164
click to vote
PERVASIVE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this work, algorithms are developed and evaluated to detect physical activities from data acquired using ļ¬ve small biaxial accelerometers worn simultaneously on diļ¬...
174
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present an island model that uses diļ¬erent representations in each island. The model transforms individuals from one representation to another during migrations. We ...
171
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Hierarchical Task-Network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the OWL-S service on...