Sciweavers

15253 search results - page 2608 / 3051
» Integer-Programming Software Systems
Sort
View
CIKM
2006
Springer
15 years 9 months ago
Investigating the exhaustivity dimension in content-oriented XML element retrieval evaluation
INEX, the evaluation initiative for content-oriented XML retrieval, has since its establishment defined the relevance of an element according to two graded dimensions, exhaustivit...
Paul Ogilvie, Mounia Lalmas
ERLANG
2004
ACM
15 years 9 months ago
An external short message entity for gambling services
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
Enrique Marcote, Daniel I. Iglesia, Carlos J. Escu...
CLEF
2006
Springer
15 years 9 months ago
A High Precision Information Retrieval Method for WiQA
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...
Constantin Orasan, Georgiana Puscasu
FGR
2004
IEEE
167views Biometrics» more  FGR 2004»
15 years 9 months ago
A New Instrumented Approach For Translating American Sign Language Into Sound And Text
This paper discusses a novel approach for capturing and translating isolated gestures of American Sign Language into spoken and written words. The instrumented part of the system ...
Jose L. Hernandez-Rebollar, Nicholas Kyriakopoulos...
FMCAD
2006
Springer
15 years 9 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
« Prev « First page 2608 / 3051 Last » Next »