613 search results - page 68 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
ICCV
1998
IEEE
13 years 12 months ago
1998
IEEE
Many applications require detecting structural changes in a scene over a period of time. Comparing intensity values of successive images is not effective as such changes don'...
GISCIENCE
2004
Springer
14 years 1 months ago
2004
Springer
The spatial auto-regression (SAR) model is a popular spatial data analysis technique, which has been used in many applications with geo-spatial datasets. However, exact solutions f...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
ICMCS
2010
IEEE
13 years 7 months ago
2010
IEEE
In daily life, we can see images of real-life objects on posters, television, or virtually any type of smooth physical surfaces. We seldom confuse these images with the objects pe...