814 search results - page 38 / 163 » Generic Model Abstraction from Examples |
114
click to vote
IBPRIA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we present a method suitable to be used for human tracking as a temporal prior in a particle filtering framework such as CONDENSATION [5]. This method is f...
119
click to vote
CADUI
2004
15 years 3 months ago
2004
Abstract Questionnaires are nowadays widely used usability evaluation instruments, and several generic usability questionnaires are available. But these generic artifacts are not a...
130
click to vote
ENTCS
2002
15 years 1 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
113
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
135
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...