4287 search results - page 569 / 858 » Minimal Mental Models |
165
click to vote
APN
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
158
click to vote
APPT
2005
Springer
16 years 8 days ago
2005
Springer
By reasonably allocating a cooperative problem which need multiple solvers cope with together, the problem could be performed more effectively and efficiently. A problem could be d...
312
click to vote
DAWAK
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper, we present a new approach to indexing multidimensional data that is particularly suitable for the efficient incremental processing of nearest neighbor quer...
195
click to vote
IBPRIA
2005
Springer
16 years 7 days ago
2005
Springer
Sign language recognition constitutes a challenging field of research in computer vision. Common problems like overlap, ambiguities, and minimal pairs occur frequently and require...
186
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...