5092 search results - page 810 / 1019 » Clustering the Feature Space |
150
Voted
TCAD
2008
15 years 4 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
129
Voted
VLSISP
2008
15 years 4 months ago
2008
The compiler is generally regarded as the most important software component that supports a processor design to achieve success. This paper describes our application of the open re...
125
click to vote
CSDA
2004
15 years 4 months ago
2004
In geographical epidemiology it is often required to produce a map of the risk of disease over a study region, a disease map. This paper reviews a variety of approaches to produce...
166
Voted
ISB
2002
15 years 4 months ago
2002
ABSTRACT: Biochemical reactions form large and complex networks. Comprehensible visual representations of these networks help biochemists understand the relationships between the c...
155
click to vote
CGF
2010
15 years 3 months ago
2010
We focus on the class of regular models defined by Várady et al. for reverse engineering purposes. Given a 3D surface M represented through a dense set of points, we present a n...