Sciweavers

1120 search results - page 185 / 224
» C Elements of Style
Sort
View
LOGCOM
2007
89views more  LOGCOM 2007»
13 years 11 months ago
Algorithmic Randomness of Closed Sets
We investigate notions of randomness in the space C[2N ] of nonempty closed subsets of {0, 1}N . A probability measure is given and a version of the Martin-L¨of test for randomne...
George Barmpalias, Paul Brodhead, Douglas Cenzer, ...
CN
2004
146views more  CN 2004»
13 years 10 months ago
Spatio-temporal correlation: theory and applications for wireless sensor networks
Wireless Sensor Networks (WSN) are characterized by the dense deployment of sensor nodes that continuously observe physical phenomenon. Due to high density in the network topology...
Mehmet C. Vuran, Özgür B. Akan, Ian F. A...
CSUR
1999
137views more  CSUR 1999»
13 years 10 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
NAR
1998
112views more  NAR 1998»
13 years 10 months ago
MITOMAP: a human mitochondrial genome database--1998 update
We have continued to develop MITOMAP (http://www.gen.emory.edu/MITOMAP ), a comprehensive database for the human mitochondrial DNA (mtDNA). MITOMAP uses the mtDNA sequence as the ...
Andreas M. Kogelnik, Marie T. Lott, Michael D. Bro...
IVC
2008
94views more  IVC 2008»
13 years 10 months ago
Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
Brandon Bennett, Derek R. Magee, Anthony G. Cohn, ...