Sciweavers

975 search results - page 48 / 195
» Feature Interaction Problem in Computer-Telephony Integratio...
Sort
View
TSMC
2002
119views more  TSMC 2002»
15 years 1 months ago
Scene analysis by integrating primitive segmentation and associative memory
Scene analysis is a major aspect of perception and continues to challenge machine perception. This paper addresses the scene-analysis problem by integrating a primitive segmentatio...
DeLiang L. Wang, Xiuwen Liu
ACL
2001
15 years 3 months ago
Detecting Problematic Turns in Human-Machine Interactions: Rule-induction Versus Memory-based Learning Approaches
We address the issue of on-line detection of communication problems in spoken dialogue systems. The usefulness is investigated of the sequence of system question types and the wor...
Antal van den Bosch, Emiel Krahmer, Marc Swerts
ICDT
2003
ACM
150views Database» more  ICDT 2003»
15 years 7 months ago
Bioinformatics Adventures in Database Research
Informatics has helped launch molecular biology into the genomic era. It appears certain that informatics will remain a major contributor to molecular biology in the post-genome er...
Jinyan Li, See-Kiong Ng, Limsoon Wong
BELL
2000
107views more  BELL 2000»
15 years 1 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
115
Voted
JAR
2007
80views more  JAR 2007»
15 years 1 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow