Sciweavers

2922 search results - page 397 / 585
» Scalable Algorithms for Distribution Search
Sort
View
FM
2009
Springer
169views Formal Methods» more  FM 2009»
14 years 1 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
CORR
2006
Springer
130views Education» more  CORR 2006»
13 years 9 months ago
Genetic Programming for Kernel-based Learning with Co-evolving Subsets Selection
Abstract. Support Vector Machines (SVMs) are well-established Machine Learning (ML) algorithms. They rely on the fact that i) linear learning can be formalized as a well-posed opti...
Christian Gagné, Marc Schoenauer, Mich&egra...
APWEB
2010
Springer
13 years 8 months ago
Suggesting Topic-Based Query Terms as You Type
— Query term suggestion that interactively expands the queries is an indispensable technique to help users formulate high-quality queries and has attracted much attention in the ...
Ju Fan, Hao Wu, Guoliang Li, Lizhu Zhou
PVLDB
2010
146views more  PVLDB 2010»
13 years 7 months ago
Graph Indexing of Road Networks for Shortest Path Queries with Label Restrictions
The current widespread use of location-based services and GPS technologies has revived interest in very fast and scalable shortest path queries. We introduce a new shortest path q...
Michael Rice, Vassilis J. Tsotras
CLEF
2009
Springer
13 years 7 months ago
Overview of the CLEF 2009 Medical Image Annotation Track
This paper describe the last round of the medical image annotation task in ImageCLEF 2009. After four years, we defined the task as a survey of all the past experience. Seven grou...
Tatiana Tommasi, Barbara Caputo, Petra Welter, Mar...