Sciweavers

1759 search results - page 165 / 352
» A guide to membrane computing
Sort
View
VIS
2004
IEEE
116views Visualization» more  VIS 2004»
16 years 6 months ago
Simplifying Flexible Isosurfaces Using Local Geometric Measures
our tree, an abstraction of a scalar field that encodes the nesting relationships of isosurfaces, can be used to accelerate isosurface extraction, to identify important isovalues ...
Hamish Carr, Jack Snoeyink, Michiel van de Panne
DAC
2009
ACM
16 years 5 months ago
Efficient program scheduling for heterogeneous multi-core processors
Heterogeneous multicore processors promise high execution efficiency under diverse workloads, and program scheduling is critical in exploiting this efficiency. This paper present...
Jian Chen, Lizy Kurian John
WWW
2007
ACM
16 years 5 months ago
Learning ontologies to improve the quality of automatic web service matching
This paper presents a novel technique that significantly improves the quality of semantic Web service matching by (1) automatically generating ontologies based on Web service desc...
Hui Guo, Anca Ivan, Rama Akkiraju, Richard Goodwin
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 5 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
VLSID
2006
IEEE
83views VLSI» more  VLSID 2006»
16 years 5 months ago
Parasitic Aware Routing Methodology Based on Higher Order RLCK Moment Metrics
In the multi-GHz frequency domain, inductive and capacitive parasitics of interconnects can cause significant 'ringing' or overdamping, which may lead to false switching...
Amitava Bhaduri, Ranga Vemuri