1666 search results - page 238 / 334 » Effective and efficient structured retrieval |
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
A new morphological gradient operator for colour images is introduced that can be viewed as a direct extension of the well known morphological gradient. In this approach, each pix...
VIS
2007
IEEE
14 years 11 months ago
2007
IEEE
Abstract-- We describe a system for interactively rendering isosurfaces of tetrahedral finite-element scalar fields using coherent ray tracing techniques on the CPU. By employing s...
VLSID
2004
IEEE
14 years 10 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
EUROMICRO
2006
IEEE
14 years 4 months ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
CSCW
2006
ACM
14 years 4 months ago
2006
ACM
In this study, we draw on network centrality concepts and coordination theory to understand how project team members interact when working towards a common goal. A text-mining app...