2366 search results - page 155 / 474 » Mapping time |
125
Voted
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
114
Voted
DCG
2010
15 years 3 months ago
2010
We show that any simple planar n-gon can be meshed in linear time by O(n) quadrilaterals with all new angles bounded between 60 and 120 degrees. 1991 Mathematics Subject Classifica...
144
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Robot search and rescue is a time critical task, i.e. a large terrain has to be explored by multiple robots within a short amount of time. The efficiency of exploration depend...
136
Voted
ICIP
1998
IEEE
16 years 5 months ago
1998
IEEE
We present a fast, non-iterative technique for producing grayscale images from error diffused and dithered halftones. The first stage of the algorithm consists of a Gaussian filte...
125
Voted
FQAS
2006
Springer
15 years 7 months ago
2006
Springer
We present a functional model for the analysis of large volumes of detailed transactional data, accumulated over time. In our model, the data schema is an acyclic graph with a sing...