4460 search results - page 141 / 892 » Formal methods for interactive systems |
183
Voted
IWEC
2010
15 years 5 months ago
2010
Abstract. In this paper game scenarios that aim to establish elements of cooperative play such as imitation and turn taking between children with autism and a caregiver are investi...
139
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
135
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
148
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes an implementation of vertex weighting for real-time animation of 3D trees as a result of wind force and direction. This method improves over similar technique...
135
Voted
IR
2000
15 years 3 months ago
2000
Past research has identified many different types of relevance in information retrieval (IR). So far, however, most evaluation of IR systems has been through batch experiments cond...