Sciweavers

2904 search results - page 189 / 581
» Number Forms in the Brain
Sort
View
LOPSTR
2004
Springer
16 years 16 days ago
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
J. B. Wells, Boris Yakobowski
PCM
2004
Springer
107views Multimedia» more  PCM 2004»
16 years 16 days ago
Complete Performance Graphs in Probabilistic Information Retrieval
The performance of a Content-Based Image Retrieval (CBIR) system presented in the form of Precision-Recall or PrecisionScope graphs offers an incomplete overview of the system und...
Nicu Sebe, Dionysius P. Huijsmans, Qi Tian, Theo G...
HICSS
2003
IEEE
103views Biometrics» more  HICSS 2003»
16 years 14 days ago
Wireless Sensor Placement For Reliable and Efficient Data Collection
Sensors can be paired with radio units and deployed to form a wireless ad-hoc sensor network. Actual deployments must consider the coverage that can be achieved with a given numbe...
Edoardo S. Biagioni, Galen H. Sasaki
ISCAS
2003
IEEE
107views Hardware» more  ISCAS 2003»
16 years 14 days ago
Automatic synchronization of speech transcript and slides in presentation
An increasing number of university lectures and a vast majority of company presentations are being digitally archived for redistribution today. Most of these presentations take th...
Yu Chen, Wei Jyh Heng
SMI
2003
IEEE
172views Image Analysis» more  SMI 2003»
16 years 13 days ago
Skeleton Based Shape Matching and Retrieval
In this paper, we describe a novel method for searching and comparing 3D objects. The method encodes the geometric and topological information in the form of a skeletal graph and ...
H. Sundar, Deborah Silver, Nikhil Gagvani, Sven J....