1508 search results - page 163 / 302 » A Toolbox of Level Set Methods |
108
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
114
click to vote
PG
2003
IEEE
15 years 8 months ago
2003
IEEE
We present a new approach to isosurface visualization that we call “iso-splatting.” We use point primitives for representing and rendering isosurfaces. The method consists of ...
127
Voted
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
In this work, we present an adaptive space carving method for scene reconstruction from a set of images obtained from low cost calibrated webcams. Our method uses a combination of...
98
Voted
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
- Simulation-based functional verification is characterized by two inherently conflicting targets: the signal visibility and simulation performance. Achieving a proper trade-off be...
133
Voted
BIOCOMP
2006
15 years 5 months ago
2006
The history of molecular biology is punctuated by a series of discoveries demonstrating the surprising breadth of biological roles of ribonucleic acid (RNA). An ensemble of evoluti...