1992 search results - page 366 / 399 » Model Based Testing with Labelled Transition Systems |
117
Voted
MICCAI
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A system for interactive, 3–D, craniofacial surgery simulation is presented. It is used for the 3–D simulation of osteotomies of the facial and skull bones and for th...
121
click to vote
FLAIRS
2006
15 years 3 months ago
2006
Intelligent Tutoring Systems, while effective at producing student learning [2,7], are notoriously costly to construct [1,9], and require PhD level experience in cognitive science...
217
click to vote
ICTAC
2010
Springer
15 years 25 days ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
144
Voted
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...
143
click to vote
COGSCI
2002
15 years 2 months ago
2002
We address how listeners perceive temporal regularity in music performances, which are rich in temporal irregularities. A computational model is described in which a small system ...