9521 search results - page 333 / 1905 » Compiling with continuations, continued |
145
click to vote
WCE
2007
15 years 5 months ago
2007
— This paper proposes a personalized web-based system with evolving automatic indexing that may be used in multimedia courses. Instructors may use the system to create and delive...
125
Voted
AUTOMATICA
2008
15 years 4 months ago
2008
In this paper stabilization of nonlinear systems with quadratic multi-input is considered. With the help of control Lyapunov function (CLF), a constructive parameterization of con...
115
click to vote
CGF
2010
15 years 4 months ago
2010
Geometry processing applications frequently rely on octree structures, since they provide simple and efficient hierarchies for discrete data. However, octrees do not guarantee dire...
118
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified ine...
126
click to vote
CVGIP
2010
15 years 4 months ago
2010
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...