Sciweavers

11017 search results - page 27 / 2204
» Closure Systems and their Structure
Sort
View
110
Voted
WMP
2000
15 years 7 months ago
Parikh Mapping and Iteration
orms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages . . . . 135 Manfred Kudlek, Victor Mitrana On Multisets in Database Systems . . ....
Jürgen Dassow
150
Voted
CC
2002
Springer
145views System Software» more  CC 2002»
15 years 3 months ago
Forwarding in Attribute Grammars for Modular Language Design
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul ...
153
Voted
DLOG
2011
14 years 7 months ago
Concept Model Semantics for DL Preferential Reasoning
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
Arina Britz, Thomas Meyer, Ivan José Varzin...
104
Voted
ICRA
2005
IEEE
135views Robotics» more  ICRA 2005»
15 years 9 months ago
Regrasp Planning of Four-Fingered Hand for Parallel Grasp of a Polygonal Object
— This paper proposes a necessary and sufficient condition for parallel grasps. We extend the use of this condition to the task of regrasp planning. In particular, we propose a ...
Thanathorn Phoka, Peam Pipattanasomporn, Nattee Ni...
141
Voted
LFP
1992
140views more  LFP 1992»
15 years 4 months ago
Global Tagging Optimization by Type Inference
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
Fritz Henglein