7393 search results - page 1374 / 1479 » Synthesis-for-testability using transformations |
168
click to vote
ICDE
2006
IEEE
15 years 11 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...
VIS
2006
IEEE
15 years 11 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...
108
click to vote
VIS
2009
IEEE
15 years 11 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...
MICCAI
2008
Springer
15 years 11 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, ...
164
click to vote
GIS
2006
ACM
15 years 11 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...