1992 search results - page 332 / 399 » Model Based Testing with Labelled Transition Systems |
125
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In the context of virtualized reality based telemicromanipulation, we present in this paper a visual calibration technique for optical microscope coupled with a CCD cam...
116
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
121
click to vote
UIST
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
139
click to vote
ICDAR
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes features and methods for document image comparison and classification at the spatial layout level. The methods are useful for visual similarity based document...
140
Voted
IJIG
2002
15 years 2 months ago
2002
This paper proposes a new background subtraction method for detecting moving objects from a time-varied background. While background subtraction has traditionally worked well for ...