Sciweavers

3646 search results - page 557 / 730
» Voice search for development
Sort
View
CLEF
2003
Springer
15 years 11 months ago
Cross-Language Question Answering at the USC Information Sciences Institute
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...
Abdessamad Echihabi, Douglas W. Oard, Daniel Marcu...
CP
2003
Springer
15 years 11 months ago
A Synthesis of Constraint Satisfaction and Constraint Solving
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...
Michael J. Maher
EMSOFT
2003
Springer
15 years 11 months ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
GECCO
2003
Springer
124views Optimization» more  GECCO 2003»
15 years 11 months ago
Study Diploid System by a Hamiltonian Cycle Problem Algorithm
Complex representation in Genetic Algorithms and pattern in real problems limits the effect of crossover to construct better pattern from sporadic building blocks. Instead of intro...
Dong Xianghui, Ruwei Dai
ICADL
2003
Springer
107views Education» more  ICADL 2003»
15 years 11 months ago
A Multimedia Digital Library System Based on MPEG-7 and XQuery
We designed and implemented a digital library system that supports content-based retrieval of multimedia objects based on MPEG-7 and XQuery. MPEG-7, a metadata standard for multim...
Mann-Ho Lee, Ji-Hoon Kang, Sung-Hyon Myaeng, Soon ...