Sciweavers

1679 search results - page 243 / 336
» Scatter Search - Wellsprings and Challenges
Sort
View
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 10 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...
CSB
2004
IEEE
149views Bioinformatics» more  CSB 2004»
15 years 10 months ago
Weighting Features to Recognize 3D Patterns of Electron Density in X-Ray Protein Crystallography
Feature selection and weighting are central problems in pattern recognition and instance-based learning. In this work, we discuss the challenges of constructing and weighting feat...
Kreshna Gopal, Tod D. Romo, James C. Sacchettini, ...
CLEF
2006
Springer
15 years 10 months ago
Vocabulary Reduction and Text Enrichment at WebCLEF
Nowadays, cross-lingual Information Retrieval (IR) is one of the greatest challenges to deal with. Besides, one of the most important issues in IR consists in the corpus vocabular...
Franco Rojas López, Héctor Jim&eacut...
FGR
2004
IEEE
87views Biometrics» more  FGR 2004»
15 years 10 months ago
Transition Movement Models for Large Vocabulary Continuous Sign Language Recognition
The major challenges that sign language recognition (SLR) now faces are developing methods that solve large vocabulary continuous sign problems. In this paper, large vocabulary co...
Wen Gao, Gaolin Fang, Debin Zhao, Yiqiang Chen
DBISP2P
2006
Springer
185views Database» more  DBISP2P 2006»
15 years 10 months ago
Answering Constrained k-NN Queries in Unstructured P2P Systems
The processing of k-NN queries has been studied extensively both in a centralized computing environment and in a structured P2P environment. However, the problem over an unstructur...
Bin Wang, Xiaochun Yang, Guoren Wang, Lei Chen 000...