867 search results - page 116 / 174 » On Two Forms of Structural Recursion |
115
Voted
ISBI
2011
IEEE
14 years 4 months ago
2011
IEEE
Automated cell tracking in populations is important for research and discovery in biology and medicine. In this paper, we propose a cell tracking method based on global spatiotemp...
116
Voted
SSDBM
2011
IEEE
14 years 4 months ago
2011
IEEE
Large-scale N-body simulations play an important role in advancing our understanding of the formation and evolution of large structures in the universe. These computations require ...
108
click to vote
CVPR
2003
IEEE
15 years 5 months ago
2003
IEEE
A framework for analyzing distortions in non-single viewpoint imaging systems is presented. Such systems possess loci of viewpoints called caustics. In general, perspective (or un...
BIRD
2008
Springer
15 years 2 months ago
2008
Springer
The inverse protein folding problem is that of designing an amino acid sequence which has a prescribed native protein fold. This problem arises in drug design where a particular st...
102
Voted
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...