Sciweavers

10072 search results - page 1493 / 2015
» Composition of Model Programs
Sort
View
FPL
2003
Springer
95views Hardware» more  FPL 2003»
16 years 8 days ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari
ICALP
2003
Springer
16 years 8 days ago
Convergence Time to Nash Equilibria
We study the number of steps required to reach a pure Nash Equilibrium in a load balancing scenario where each job behaves selfishly and attempts to migrate to a machine which will...
Eyal Even-Dar, Alexander Kesselman, Yishay Mansour
COMPIMAGE
2010
Springer
16 years 5 days ago
Direction-Dependency of a Binary Tomographic Reconstruction Algorithm
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...
László Varga, Péter Bal&aacut...
ICRA
2002
IEEE
146views Robotics» more  ICRA 2002»
16 years 2 hour ago
Intercepting a Falling Object: Digital Video Robot
Human based algorithms to catch fly balls have been research and studied. In this paper, the validity of the human models are tested by catching balls that are dropped vertically...
Keshav Mundhra, Anthony Suluh, Thomas Sugar, Micha...
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
15 years 11 months ago
Design of insulating devices for in vitro synthetic circuits
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
Elisa Franco, Domitilla Del Vecchio, Richard M. Mu...
« Prev « First page 1493 / 2015 Last » Next »