2713 search results - page 239 / 543 » Parameterized Tree Systems |
140
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— In this paper, we present an incremental, multiresolution motion planning algorithm designed for systems with differential constraints. Planning for these sytems is mor...
150
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
136
click to vote
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
130
click to vote
COLING
1990
15 years 6 months ago
1990
fin this paper, we describe a working system for interactive Japanese syntactic an',dysis. A human user can intervene during parsing to hell) the system to produce a correct ...
PVLDB
2010
15 years 3 months ago
2010
Dremel is a scalable, interactive ad-hoc query system for analysis of read-only nested data. By combining multi-level execution trees and columnar data layout, it is capable of ru...