10159 search results - page 1731 / 2032 » System Design Validation Using Formal Models |
198
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Table is a commonly used presentation scheme, especially for describing relational information. However, table understanding remains an open problem. In this paper, we consider th...
232
click to vote
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
225
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Among humans, teaching various tasks is a complex process which relies on multiple means for interaction and learning, both on the part of the teacher and of the learner. Used tog...
191
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
In this work we investigate eye movement analysis as a new modality for recognising human activity. We devise 90 different features based on the main eye movement characteristics:...
231
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents a new approach to determine the geographical footprint of individual Autonomous Systems that directly provide service to end-users, i.e.,eyeball ASes. The key ...