Sciweavers

29046 search results - page 174 / 5810
» Computable Models
Sort
View
115
Voted
CORR
2006
Springer
95views Education» more  CORR 2006»
15 years 3 months ago
The computational power of population protocols
We consider the model of population protocols introduced by Angluin et al. [AAD+ 04], in which anonymous finite-state agents stably compute a predicate of the multiset of their in...
Dana Angluin, James Aspnes, David Eisenstat, Eric ...
135
Voted
DNA
2006
Springer
146views Bioinformatics» more  DNA 2006»
15 years 7 months ago
On Times to Compute Shapes in 2D Tile Self-assembly
We study the times to grow structures within the tile self-assembly model proposed by Winfree, and the possible shapes that can be achieved. Our earlier work was confined to the g...
Yuliy M. Baryshnikov, Edward G. Coffman Jr., Boons...
CVPR
1999
IEEE
16 years 5 months ago
Q-Warping: Direct Computation of Quadratic Reference Surfaces
We consider the problem of wrapping around an object, of which two views are available, a reference surface and recovering the resulting parametric flow using direct computations ...
Yonatan Wexler, Amnon Shashua
113
Voted
PROCEDIA
2010
89views more  PROCEDIA 2010»
15 years 1 months ago
Computing for construal: an exploratory study of desert ant navigation
The study of ant navigation is a rich source of empirical data and speculative theories that has been well-documented in the scientific literature. We describe and illustrate how ...
Daniel Keer, Steve Russ, Meurig Beynon
134
Voted
WSC
2008
15 years 5 months ago
Solving volume and capacity planning problems in semiconductor manufaturing: A computational study
In this paper, we suggest a linear programming formulation that allows for solving volume and capacity planning problems in semiconductor manufacturing systems. We assume a genera...
Christoph Habla, Lars Mönch