1090 search results - page 15 / 218 » The Equivalence between Biology and Computation |
81
Voted
STOC
2003
ACM
16 years 1 months ago
2003
ACM
In this paper we establish a topological similarity between two apparently different shape constructors from a set of points. Shape constructors are geometric structures that tran...
82
Voted
CISS
2010
IEEE
14 years 4 months ago
2010
IEEE
—Recovery of sparse signals from noisy observations is a problem that arises in many information processing contexts. LASSO and the Dantzig selector (DS) are two well-known schem...
98
Voted
CONCUR
1991
Springer
15 years 4 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
322
Voted
DAC
2012
ACM
13 years 3 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
96
Voted
ISMB
1994
15 years 2 months ago
1994
Someof the geometric problemsof interest to molecular biologists havemacroscopicanaloguesin the field of robotics. Twoexamples of such analogies are those between protein docking ...