Sciweavers

5984 search results - page 1051 / 1197
» The Informal Nature of Systems Engineering
Sort
View
PLDI
2006
ACM
16 years 17 days ago
Correctness-preserving derivation of concurrent garbage collection algorithms
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
Martin T. Vechev, Eran Yahav, David F. Bacon
ICCV
2005
IEEE
16 years 7 days ago
Inference of Non-Overlapping Camera Network Topology by Measuring Statistical Dependence
We present an approach for inferring the topology of a camera network by measuring statistical dependence between observations in different cameras. Two cameras are considered con...
Kinh Tieu, Gerald Dalley, W. Eric L. Grimson
ICDCS
2005
IEEE
16 years 6 days ago
DSI: A Fully Distributed Spatial Index for Location-Based Wireless Broadcast Services
Recent announcement of the MSN Direct Service has demonstrated the feasibility and industrial interest in utilizing wireless broadcast for pervasive information services. To suppo...
Wang-Chien Lee, Baihua Zheng
AVBPA
2005
Springer
303views Biometrics» more  AVBPA 2005»
16 years 5 days ago
Indexing Biometric Databases Using Pyramid Technique
Abstract. Biometric identification has emerged as a reliable means of controlling access to both physical and virtual spaces. In spite of the rapid proliferation of large-scale dat...
Amit Mhatre, Sharat Chikkerur, Venu Govindaraju
DIS
2005
Springer
16 years 4 days ago
Movement Analysis of Medaka (Oryzias Latipes) for an Insecticide Using Decision Tree
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...
Sengtai Lee, Jeehoon Kim, Jae-Yeon Baek, Man-Wi Ha...
« Prev « First page 1051 / 1197 Last » Next »