546 search results - page 97 / 110 » Extended Null-Move Reductions |
157
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In recent times, the proliferation of spatial data on the Internet is beginning to allow a much larger audience to access and share data currently available in various Ge...
166
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
204
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
182
Voted
COMPGEOM
2001
ACM
15 years 10 months ago
2001
ACM
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
179
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a fast and accurate tool for semiautomatic segmentation of volumetric medical images based on the live wire algorithm, shape-based interpolation and a new opti...