4166 search results - page 109 / 834 » Automating the constraining process |
102
click to vote
CSL
2007
Springer
14 years 10 months ago
2007
Springer
In a spoken dialog system, determining which action a machine should take in a given situation is a difficult problem because automatic speech recognition is unreliable and hence ...
ISTA
2004
14 years 11 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
BMCBI
2007
14 years 10 months ago
2007
Background: Whereas the molecular assembly of protein expression clones is readily automated and routinely accomplished in high throughput, sequence verification of these clones i...
FPGA
2005
ACM
15 years 3 months ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...
JCDL
2003
ACM
15 years 3 months ago
2003
ACM
This study identifies (1) several taxonomies of questions at different levels of linguistic analysis, according to which questions received by digital reference services are class...