Sciweavers

4190 search results - page 446 / 838
» Type Class Directives
Sort
View
ICCAD
2001
IEEE
101views Hardware» more  ICCAD 2001»
16 years 3 months ago
Instruction Generation for Hybrid Reconfigurable Systems
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
Ryan Kastner, Seda Ogrenci Memik, Elaheh Bozorgzad...
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
16 years 1 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
16 years 1 months ago
A repetitive process approach to the control of self-servowriting in disk drives
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
Krzysztof Galkowski, Wojciech Paszke, Eric Rogers
ICPR
2008
IEEE
16 years 1 months ago
3D localization of partially buried object in unstructured environment
This paper describes a method to localize objects which are partially buried in an unstructured environment. The objects are limited to surfaces of revolution in the present study...
Kenichi Maruyama, Koji Oka, Ryuichi Takase, Yoshih...
ICRA
2008
IEEE
240views Robotics» more  ICRA 2008»
16 years 1 months ago
Design of an omnidirectional mobile robot for rough terrain
—An omnidirectional mobile robot is able, kinematically, to move in any planar direction regardless of current pose. To date, nearly all designs and analyses of omnidirectional r...
Martin Udengaard, Karl Iagnemma