5372 search results - page 874 / 1075 » complexity 2007 |
124
click to vote
IANDC
2008
15 years 5 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
156
click to vote
CAD
2007
Springer
15 years 5 months ago
2007
Springer
We present a novel geometric algorithm to construct a smooth surface that interpolates a triangular or a quadrilateral mesh of arbitrary topological type formed by n vertices. Alt...
131
click to vote
IJON
2008
15 years 5 months ago
2008
Support vector machine (SVM) is a powerful technique for data classification. Despite of its good theoretic foundations and high classification accuracy, normal SVM is not suitabl...
176
click to vote
CG
2007
Springer
15 years 5 months ago
2007
Springer
We present an interactive algorithm to perform continuous collision detection between general deformable models using graphics processors (GPUs). We model the motion of each objec...
150
click to vote
CG
2007
Springer
15 years 5 months ago
2007
Springer
The winged- and half- edge data structures are commonly used representations for polyhedron models. Due to the complexity, students in an introductory to computer graphics course ...