Sciweavers

709 search results - page 105 / 142
» In-stroke word completion
Sort
View
158
Voted
JUCS
2007
148views more  JUCS 2007»
15 years 3 months ago
Analysis of two Sweep-line Algorithms for Constructing Spanning Trees and Steiner Trees
: We give a tight analysis of an old and popular sweep-line heuristic for constructing a spanning tree of a set of n points in the plane. The algorithm sweeps a vertical line acros...
Adrian Dumitrescu, Csaba D. Tóth
116
Voted
ALGORITHMICA
2000
106views more  ALGORITHMICA 2000»
15 years 3 months ago
Algorithms for Sensorless Manipulation Using a Vibrating Surface
We describe a programmable apparatus that uses a vibrating surface for sensorless, nonprehensile manipulation, where parts are systematically positioned and oriented without sensor...
Karl-Friedrich Böhringer, Vivek Bhatt, Bruce ...
128
Voted
ENDM
2000
174views more  ENDM 2000»
15 years 3 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
132
Voted
COR
2007
157views more  COR 2007»
15 years 3 months ago
A decision support system for the single-depot vehicle rescheduling problem
Disruptions in trips can prevent vehicles from executing their schedules as planned. Mechanical failures, accidents, and traffic congestion often hinder a vehicle schedule. When a...
Jing-Quan Li, Denis Borenstein, Pitu B. Mirchandan...
134
Voted
ENTCS
2002
131views more  ENTCS 2002»
15 years 3 months ago
Automatic Generation of Language-based Tools
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
Pedro Rangel Henriques, Maria João Varanda ...