Sciweavers

1201 search results - page 19 / 241
» Exact Analysis of Exact Change
Sort
View
GISCIENCE
2010
Springer
212views GIS» more  GISCIENCE 2010»
13 years 8 months ago
Qualitative Change to 3-Valued Regions
Regions which evolve over time are a significant aspect of many phenomena in geographic information science. Examples include areas in which a measured value (e.g. temperature, sal...
Matt Duckham, John G. Stell, Maria Vasardani, Mich...
DATE
1999
IEEE
80views Hardware» more  DATE 1999»
13 years 12 months ago
Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...
Youpyo Hong, Peter A. Beerel
DASFAA
2004
IEEE
124views Database» more  DASFAA 2004»
13 years 11 months ago
Polygon and Polyline Join Using Raster Filters
Processing spatial joins efficiently is crucial to rendering the spatial data analysis process feasible. As pointed out in many works, the exact intersection test of two spatial ob...
Rodrigo Salvador Monteiro, Leonardo Guerreiro Azev...
SSIAI
2002
IEEE
14 years 15 days ago
Automatic Referencing of Multi-Spectral Images
In order to adequately process satellite and radar information, it is necessary to find the exact correspondence between different types of images and between these images and th...
Roberto Araiza, Hongjie Xie, Scott A. Starks, Vlad...
ECCV
2002
Springer
14 years 9 months ago
Sensitivity of Calibration to Principal Point Position
A common practice when carrying out self-calibration of a camera from one or more views is to start with a guess at the principal point. The general belief is that inaccuracies in...
Richard I. Hartley, Robert Kaucic