7393 search results - page 1374 / 1479 » Synthesis-for-testability using transformations |
230
click to vote
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
Relational data streams and XML streams have previously provided two separate research foci, but their unified support by a single Data Stream Management System (DSMS) is very des...
131
click to vote
VIS
2006
IEEE
16 years 4 months ago
2006
IEEE
Current practice in particle visualization renders particle position data directly onto the screen as points or glyphs. Using a camera placed at a fixed position, particle motions...
154
click to vote
VIS
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper describes GL4D, an interactive system for visualizing 2-manifolds and 3-manifolds embedded in four Euclidean dimensions and illuminated by 4D light sources. It is a tetr...
120
click to vote
MICCAI
2008
Springer
16 years 4 months ago
2008
Springer
Richly labeled images representing several sub-structures of an organ occur quite frequently in medical images. For example, a typical brain image can be labeled into grey matter, ...
207
click to vote
GIS
2006
ACM
16 years 4 months ago
2006
ACM
We present a novel method for the automatic generalization of land cover maps. A land cover map is composed of areas that collectively form a tessellation of the plane and each ar...