1591 search results - page 130 / 319 » Hybrid decision tree |
166
click to vote
ICETET
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract— Design of Network on chip architectures for multimedia applications is being widely studied. This involves design decisions at various levels of hierarchy. Topology des...
176
click to vote
JVA
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
159
click to vote
CADE
2001
Springer
15 years 10 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...
169
click to vote
VR
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a framework for fast and accurate collision detection for haptic interaction with polygonal models. Given a model, we pre-compute a hybrid hierarchical representation, ...
187
click to vote
COMGEO
2000
ACM
15 years 5 months ago
2000
ACM
We present a fast and accurate collision detection algorithm for haptic interaction with polygonal models. Given a model, we pre-compute a hybrid hierarchical representation, cons...