554 search results - page 85 / 111 » A New Approach For Source Authentication Of Multicast Data |
EMMCVPR
2003
Springer
14 years 1 months ago
2003
Springer
Reconstructing a 3-D scene from more than one camera is a classical problem in computer vision. One of the major sources of difficulty is the fact that not all scene elements are v...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
BIOINFORMATICS
2010
13 years 8 months ago
2010
DNA copy number variants (CNV) are gains and losses of segments of chromosomes, and comprise an important class of genetic variation. Recently, various microarray hybridization ba...
BMCBI
2010
13 years 8 months ago
2010
Background: Microarray experiments have become very popular in life science research. However, if such experiments are only considered independently, the possibilities for analysi...
DBISP2P
2003
Springer
14 years 1 months ago
2003
Springer
Databases have employed a schema-based approach to store and retrieve structured data for decades. For peer-to-peer (P2P) networks, similar approaches are just beginning to emerge,...