Sciweavers

3172 search results - page 193 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
ICALP
2001
Springer
15 years 11 months ago
Symbolic Trace Analysis of Cryptographic Protocols
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
Michele Boreale
PKDD
2001
Springer
108views Data Mining» more  PKDD 2001»
15 years 11 months ago
Knowledge Discovery in Multi-label Phenotype Data
The biological sciences are undergoing an explosion in the amount of available data. New data analysis methods are needed to deal with the data. We present work using KDD to analys...
Amanda Clare, Ross D. King
RT
2001
Springer
15 years 11 months ago
Shader Lamps: Animating Real Objects With Image-Based Illumination
We describe a new paradigm for three-dimensional computer graphics, using projectors to graphically animate physical objects in the real world. The idea is to replace a physical o...
Ramesh Raskar, Greg Welch, Kok-Lim Low, Deepak Ban...
WABI
2001
Springer
138views Bioinformatics» more  WABI 2001»
15 years 11 months ago
Algorithms for Finding Gene Clusters
Abstract. Comparing gene orders in completely sequenced genomes is a standard approach to locate clusters of functionally associated genes. Often, gene orders are modeled as permut...
Steffen Heber, Jens Stoye
ICIP
2000
IEEE
15 years 11 months ago
Open-Ended Texture Classification for Terrain Mapping
This paper introduces a new classification scheme called “open-ended texture classification.” The standard approach for texture classification is to use a closed n-class cl...
Rupert Paget, I. Dennis Longstaff