Sciweavers

6050 search results - page 824 / 1210
» Information In The Non-Stationary Case
Sort
View
207
Voted
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
15 years 10 months ago
Dynamic symbolic database application testing
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
Chengkai Li, Christoph Csallner
ATAL
2006
Springer
15 years 10 months ago
A Comparison of Sequential and Simultaneous Auctions
Sequential and simultaneous auctions are two important mechanisms for buying/selling multiple objects. These two mechanisms yield different outcomes (i.e., different revenues and a...
S. Shaheen Fatima
187
Voted
CASES
2006
ACM
15 years 10 months ago
Reaching fast code faster: using modeling for efficient software thread integration on a VLIW DSP
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
Won So, Alexander G. Dean
191
Voted
DIAL
2004
IEEE
181views Image Analysis» more  DIAL 2004»
15 years 10 months ago
Forensic Handwritten Document Retrieval System
Document storage and retrieval capabilities of the CEDAR-FOX forensic handwritten document examination system are described. The system is designed for automated and semi-automate...
Sargur N. Srihari, Zhixin Shi
183
Voted
CSL
2006
Springer
15 years 10 months ago
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
Lukasz Kaiser