677 search results - page 32 / 136 » Dependent Types from Counterexamples |
ICVS
2009
Springer
14 years 7 months ago
2009
Springer
This paper introduces a new way to apply boosting to a joint feature pool from different sensors, namely 3D range data and color vision. The combination of sensors strengthens the ...
ICC
2007
IEEE
2007
IEEE
IEEE 802.11b Complementary Code Keying and Complementary Signals Derived from Biorthogonal Sequences
15 years 4 months ago
—Two classes of complementary signal sets are compared in terms of their complementary properties and their error probabilities for channels with thermal noise and multipath inte...
ISBI
2002
IEEE
15 years 10 months ago
2002
IEEE
Knowing the subcellular location of a protein is critical to a full understanding of its function, and automated, objective methods for assigning locations are needed as part of t...
88
Voted
DAGM
2007
Springer
15 years 3 months ago
2007
Springer
Glaucoma is one of the most common causes of blindness and it is becoming even more important considering the ageing society. Because healing of died retinal nerve fibers is not p...
CIKM
1999
Springer
15 years 2 months ago
1999
Springer
A text retrieval method called the thematic geographical search method has been developed and applied to a Japanese encyclopedia called the World Encyclopædia. In this method, th...