Sciweavers

5355 search results - page 482 / 1071
» Modules
Sort
View
CACM
2002
96views more  CACM 2002»
15 years 4 months ago
Self-reconfiguring robots
: We discuss the applications of modular self-reconfigurable robots to navigation. We show that greedy algorithms are complete for motion planning over a class of modular reconfigu...
Daniela Rus, Zack J. Butler, Keith Kotay, Marsette...
COLING
2002
15 years 4 months ago
An XML-based Document Suite
We report about the current state of development of a document suite and its applications. This collection of tools for the flexible and robust processing of documents in German i...
Dietmar Rösner, Manuela Kunze
CORR
2000
Springer
58views Education» more  CORR 2000»
15 years 4 months ago
Temporal Expressions in Japanese-to-English Machine Translation
This paper describes in outline a method for translating Japanese temporal expressions into English. We argue that temporal expressions form a special subset of language that is be...
Francis Bond, Kentaro Ogura, Hajime Uchino
CORR
2007
Springer
151views Education» more  CORR 2007»
15 years 4 months ago
The algebraicity of the lambda-calculus
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
André Hirschowitz, Marco Maggesi
AAECC
1998
Springer
167views Algorithms» more  AAECC 1998»
15 years 4 months ago
Generalized Bezout Identity
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
J. F. Pommaret, Alban Quadrat