7047 search results - page 113 / 1410 » Focusing on Binding and Computation |
164
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of terms with binding. Two kinds of such automaton are d...
161
click to vote
ICRA
2007
IEEE
16 years 19 days ago
2007
IEEE
— This paper presents a new method for a six degrees of freedom haptic feedback in molecular docking simulations in virtual reality. The proposed method allows real-time haptic i...
161
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
— A large and diverse consortium of grid clusters, as can be found in a university setting, requires a flexible authorization model that is scalable, extensible and easy to admi...
196
click to vote
WISE
2003
Springer
15 years 11 months ago
2003
Springer
XQuery, the standard query language for XML, is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to ...
170
click to vote
EGH
2003
Springer
15 years 11 months ago
2003
Springer
We show how a future graphics processor unit (GPU), enhanced with random read and write to video memory, can represent, refine and adjust complex meshes arising in modeling, simu...