251 search results - page 33 / 51 » Using self-dissimilarity to quantify complexity |
105
click to vote
MBEC
2010
14 years 10 months ago
2010
Investigation of the homeostasis of red blood cells upon infection by Plasmodium falciparum poses complex experimental challenges. Changes in red cell shape, volume, protein, and i...
140
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Detecting and segmenting free-form objects from cluttered backgrounds is a challenging problem in computer vision. Signature detection in document images is one classic example an...
252
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
148
Voted
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
152
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
—OFDM is an attractive solution for the design of future wireless communications due to its robustness to dispersion in multipath environments. Additional diversity gains can be ...