2048 search results - page 255 / 410 » Intelligent search techniques for large software systems |
198
click to vote
PASTE
1998
ACM
15 years 10 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
151
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Manual generation of a book inventory is time-consuming and tedious, while deployment of barcode and radio-frequency identification (RFID) management systems is costly and afforda...
175
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
Several time series matching techniques have been proposed for content-based music retrieval. These techniques represent a melody by a time series of pitch values and use time war...
191
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
GeoCLEF is an evaluation initiative for testing queries with a geographic specification in large set of text documents. GeoCLEF ran a regular track for the third time within the C...
190
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Dealing with imprecise information is a common characteristic in real-world problems. Specifically, when the source of the information are physical sensors, a level of noise in t...