1507 search results - page 240 / 302 » Separating Complexity Classes Using Structural Properties |
PKDD
2009
Springer
14 years 5 months ago
2009
Springer
Most accurate predictions are typically obtained by learning machines with complex feature spaces (as e.g. induced by kernels). Unfortunately, such decision rules are hardly access...
TII
2008
13 years 10 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
JAR
2000
13 years 10 months ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
SIGGRAPH
1996
ACM
14 years 2 months ago
1996
ACM
Multiresolution analysis has been proposed as a basic tool supporting compression, progressive transmission, and level-of-detail control of complex meshes in a unified and theoret...
SMA
1995
ACM
14 years 2 months ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...