652 search results - page 18 / 131 » Linear Explicit Substitutions |
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
— Wire-driven parallel robots are special types of Gough-Stewart platform in which the rigid extensible legs are substituted by extensible wires. Usually wire length change is ob...
AMAST
1991
Springer
13 years 11 months ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
CC
2003
Springer
14 years 23 days ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
ECIR
2004
Springer
13 years 9 months ago
2004
Springer
In this paper we report on a study of implicit feedback models for unobtrusively tracking the information needs of searchers. Such models use relevance information gathered from se...
ACTA
2007
13 years 7 months ago
2007
The recursive descent parsing method for the context-free grammars is extended for their generalization, Boolean grammars, which include explicit set-theoretic operations in the f...