Sciweavers

17409 search results - page 3353 / 3482
» The Design and Performance of MedJava
Sort
View
126
Voted
TCS
2008
15 years 3 months ago
A typed lambda calculus with intersection types
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
Viviana Bono, Betti Venneri, Lorenzo Bettini
TCSV
2008
107views more  TCSV 2008»
15 years 3 months ago
Person Surveillance Using Visual and Infrared Imagery
This paper presents a methodology for analyzing multimodal and multiperspective systems for person surveillance. Using an experimental testbed consisting of two color and two infra...
Stephen J. Krotosky, Mohan M. Trivedi
140
Voted
TISSEC
2008
235views more  TISSEC 2008»
15 years 3 months ago
SDAP: A Secure Hop-by-Hop Data Aggregation Protocol for Sensor Networks
Hop-by-hop data aggregation is a very important technique for reducing the communication overhead and energy expenditure of sensor nodes during the process of data collection in a...
Yi Yang, Xinran Wang, Sencun Zhu, Guohong Cao
125
Voted
BMCBI
2005
84views more  BMCBI 2005»
15 years 3 months ago
Information theory-based algorithm for in silico prediction of PCR products with whole genomic sequences as templates
Background: A new algorithm for assessing similarity between primer and template has been developed based on the hypothesis that annealing of primer to template is an information ...
Youfang Cao, Lianjie Wang, Kexue Xu, Chunhai Kou, ...
135
Voted
BMCBI
2005
118views more  BMCBI 2005»
15 years 3 months ago
Variation in structural location and amino acid conservation of functional sites in protein domain families
Background: The functional sites of a protein present important information for determining its cellular function and are fundamental in drug design. Accordingly, accurate methods...
Birgit Pils, Richard R. Copley, Jörg Schultz
« Prev « First page 3353 / 3482 Last » Next »