2004 search results - page 383 / 401 » Comparison of Model Checking Tools for Information Systems |
138
click to vote
ASSETS
2009
ACM
15 years 4 months ago
2009
ACM
The difficulties of navigating vocabulary in an assistive communication device are exacerbated for individuals with lexical access disorders like those due to aphasia. We present ...
CSMR
1999
IEEE
15 years 4 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Computer manipulated social networks are usually built from the explicit assertion by users that they have some relation with other users or by the implicit evidence of s...
113
click to vote
DAGM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. A method for exploiting the information in low-level image segmentations for the purpose of object recognition is presented. The key idea is to use a whole ensemble of se...
AFRIGRAPH
2001
ACM
15 years 3 months ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...