4434 search results - page 782 / 887 » On the Composition of Hybrid Systems |
145
click to vote
ICTAI
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
160
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...
283
click to vote
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
192
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
150
click to vote
APGV
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we explore the ability of the human visual system to detect inconsistencies in the illumination of objects in images. We specifically focus on objects being lit fro...