Sciweavers

1285 search results - page 190 / 257
» Codes for Digital Recorders
Sort
View
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 5 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
148
Voted
JSS
2008
68views more  JSS 2008»
15 years 5 months ago
An efficient iconic indexing strategy for image rotation and reflection in image databases
Spatial relationships are important issues for similarity-based retrieval in many image database applications. With the popularity of digital cameras and the related image process...
Wei-Horng Yeh, Ye-In Chang
142
Voted
FIRSTMONDAY
2007
141views more  FIRSTMONDAY 2007»
15 years 5 months ago
Scholarly publishing in sub-Saharan Africa in the twenty-first century: Challenges and opportunities
A free flow of ideas and information is vital to the process of scientific inquiry, and in turn to the ability to address economic, environmental and social development issues bot...
Ezra Ondari-Okemwa
SIGIR
2008
ACM
15 years 5 months ago
Named entity normalization in user generated content
Named entity recognition is important for semantically oriented retrieval tasks, such as question answering, entity retrieval, biomedical retrieval, trend detection, and event and...
Valentin Jijkoun, Mahboob Alam Khalid, Maarten Mar...
123
Voted
TASLP
2002
67views more  TASLP 2002»
15 years 4 months ago
Efficient tracking of the cross-correlation coefficient
In many (audio) processing algorithms, involving manipulation of discrete-time signals, the performance can vary strongly over the repertoire that is used. This may be the case whe...
Ronald M. Aarts, Roy Irwan, Augustus J. E. M. Jans...