Sciweavers

1324 search results - page 157 / 265
» Automation Controller for Operational IT Management
Sort
View
DAC
2000
ACM
14 years 10 months ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards
IROS
2009
IEEE
144views Robotics» more  IROS 2009»
14 years 3 months ago
Wide-angle localization of intraocular devices from focus
Abstract— Future retinal therapies will be partially automated in order to increase the surgeons’ ability to operate near the sensitive structure of the human eye retina. Untet...
Christos Bergeles, Kamran Shamaei, Jake J. Abbott,...
LICS
2005
IEEE
14 years 2 months ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich
CEC
2010
IEEE
13 years 9 months ago
Genetic programming for Expert Systems
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
Konrad Sickel, Joachim Hornegger
CORR
2000
Springer
81views Education» more  CORR 2000»
13 years 8 months ago
Safe cooperative robot dynamics on graphs
This paper initiates the use of vector fields to design, optimize, and implement reactive schedules for safe cooperative robot patterns on planar graphs. We consider Automated Gui...
Robert Ghrist, Daniel E. Koditschek