4520 search results - page 295 / 904 » Algebraic Techniques for Timed Systems |
204
click to vote
ISMIR
2005
Springer
16 years 28 days ago
2005
Springer
In the “query-by-humming” problem, we attempt to retrieve a specific song from a target set based on a sung query. Recent evaluations of query-by-humming systems show that th...
201
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
With growing capacities of flash memories, an efficient layer to manage read and write access to flash is required. NFTL is a widely used block based flash translation layer de...
190
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
172
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Matchmaking is the process of introducing two or more agents to each other. Current matchmaking techniques are unidirectional and fail to address large-scale and highly dynamic sy...
204
click to vote
CLEF
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....