16666 search results - page 2561 / 3334 » Descriptive and Computational Complexity |
210
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper describes a new method for generating surfaces of branching tubular structures with given centerlines and radii. As the centerlines are not straight lines, the cross-se...
191
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present a GUI-based C++ toolbox that allows for building distributed, multi-modal context recognition systems by plugging together reusable, parameterizable components...
198
click to vote
CINQ
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Solving inductive queries which have to return complete collections of patterns satisfying a given predicate has been studied extensively the last few years. The specific...
190
click to vote
BALT
2006
15 years 11 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
236
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...