3342 search results - page 556 / 669 » Symbolic Robustness Analysis |
159
click to vote
ETRA
2006
ACM
16 years 13 days ago
2006
ACM
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...
159
click to vote
MM
2006
ACM
16 years 12 days ago
2006
ACM
This paper presents a novel approach to object recognition involving a sparse 2D model and matching using video. The model is generated on the basis of geometry and image measurab...
154
click to vote
SIGCSE
2006
ACM
16 years 12 days ago
2006
ACM
The paper describes the first version of the TextMOLE (Text Mining Operations Library and Environment) system for textual data mining. Currently TextMOLE acts as an advanced inde...
152
click to vote
SIGIR
2006
ACM
16 years 12 days ago
2006
ACM
Many searches on the web have a transactional intent. We argue that pages satisfying transactional needs can be distinguished from the more common pages that have some information...
174
click to vote
SIGSOFT
2006
ACM
16 years 12 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...