2583 search results - page 360 / 517 » On the Representation of Timed Polyhedra |
178
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
We present an efficient algorithm to mesh the macromolecules surface model represented by the skin surface defined by Edelsbrunner. Our algorithm overcomes several challenges resi...
162
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
We propose a novel 1 2-norm inverse solver for estimating the sources of EEG/MEG signals. Based on the standard 1-norm inverse solver, the proposed sparse distributed inverse solve...
145
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents a system that detects humans climbing fences. After extracting a binary blob contour, the system models the human with an extended star-skeleton representation...
148
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We present a novel and efficient multi-view depth map enhancement method proposed as a post-processing of initially estimated depth maps. The proposed method is based on edge, mot...
177
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...