Sciweavers

821 search results - page 62 / 165
» Scalable Keyword Search on Large Data Streams
Sort
View
KBSE
2002
IEEE
15 years 4 months ago
What Makes Finite-State Models More (or Less) Testable?
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
David Owen, Tim Menzies, Bojan Cukic
MM
2009
ACM
163views Multimedia» more  MM 2009»
15 years 6 months ago
CompositeMap: a novel music similarity measure for personalized multimodal music search
How to measure and model the similarity between different music items is one of the most fundamental yet challenging research problems in music information retrieval. This paper ...
Bingjun Zhang, Qiaoliang Xiang, Ye Wang, Jialie Sh...
APBC
2004
15 years 1 months ago
Variable-length Intervals in Homology Search
Fast, accurate, and scalable search techniques for homology searching of large genomic collections are becoming an increasingly important requirement as genomic sequence collectio...
Abhijit Chattaraj, Hugh E. Williams
SDM
2009
SIAM
170views Data Mining» more  SDM 2009»
15 years 9 months ago
Optimal Distance Bounds on Time-Series Data.
Most data mining operations include an integral search component at their core. For example, the performance of similarity search or classification based on Nearest Neighbors is ...
Michail Vlachos, Philip S. Yu, Suleyman S. Kozat
GECCO
2005
Springer
228views Optimization» more  GECCO 2005»
15 years 5 months ago
Applying metaheuristic techniques to search the space of bidding strategies in combinatorial auctions
Many non-cooperative settings that could potentially be studied using game theory are characterized by having very large strategy spaces and payoffs that are costly to compute. Be...
Ashish Sureka, Peter R. Wurman