Sciweavers

3378 search results - page 199 / 676
» A universe of binding and computation
Sort
View
PERCOM
2009
ACM
16 years 1 months ago
A Letter Soup for the Quality of Information in Sensor Networks
—In this paper, an information grouping paradigm for QoI in sensor networks is introduced. First, a definition of QoI is presented by analyzing the ITU’s definition of QoS. T...
Chatschik Bisdikian, Joel W. Branch, Kin K. Leung,...
FOSSACS
2009
Springer
16 years 1 months ago
Dependency Tree Automata
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...
Colin Stirling
ICRA
2007
IEEE
135views Robotics» more  ICRA 2007»
16 years 27 days ago
6 DOF haptic feedback for molecular docking using wave variables
— 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...
Bruno Daunay, Alain Micaelli, Stephane Régn...
EDOC
2005
IEEE
16 years 6 days ago
An Interactive Approach for Specifying OWL-S Groundings
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
Gerald C. Gannod, Raynette J. Brodie, John T. E. T...
WISE
2003
Springer
15 years 12 months ago
A Graphical Environment to Query XML Data with XQuery
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 ...
Daniele Braga, Alessandro Campi