3241 search results - page 544 / 649 » Challenges for Dataset Search |
137
click to vote
DSN
2007
IEEE
15 years 9 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
165
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
144
click to vote
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
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...
114
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
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...
163
click to vote
FGR
2004
IEEE
15 years 8 months ago
2004
IEEE
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...