2317 search results - page 386 / 464 » Model based testing for agent systems |
ESOP
2005
Springer
15 years 3 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, ...
UIST
2003
ACM
15 years 3 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...
CRV
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we present a system for automatic annotation of humans passing a surveillance camera. Each human has 4 associated annotations: the primary color of the clothing, the...
ICRA
2005
IEEE
15 years 3 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...
100
click to vote
ICDAR
1999
IEEE
15 years 2 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...