3082 search results - page 534 / 617 » Deviation Analysis: A New Use of Model Checking |
ICCV
2001
IEEE
16 years 1 months ago
2001
IEEE
We present a novel approach to real-time structured light range scanning. After an analysis of the underlying assumptions of existing structured light techniques, we derive a new ...
SIGDOC
2005
ACM
15 years 5 months ago
2005
ACM
The creation process of technical documentation is an expensive and time-consuming task especially for complex products. To make this process more cost-efficient computerized supp...
115
click to vote
CEAS
2004
Springer
15 years 5 months ago
2004
Springer
We present an end-to-end system that extracts a user’s social network and its members’ contact information given the user’s email inbox. The system identifies unique people...
102
click to vote
UIST
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
109
click to vote
ICINCO
2004
15 years 1 months ago
2004
: The automation manufacturing business has reached its turning point and manufacturers are forced to create new business areas. Their expertise about field devices will be the sou...