2409 search results - page 312 / 482 » Logical systems for structured specifications |
132
click to vote
ACL
1990
15 years 5 months ago
1990
We describe the modification of a grammar to take advantage of prosodic information provided by a speech recognition system. This initial study is limited to the use of relative d...
123
click to vote
JBI
2006
15 years 4 months ago
2006
This paper presents some research undertaken as part of the EU-funded HOMEY project, into the application of intelligent dialogue systems to healthcare systems. The work presented...
158
click to vote
JSA
2008
15 years 3 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
138
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: Codon substitution constitutes a fundamental process in molecular biology that has been studied extensively. However, prior studies rely on various assumptions, e.g. r...
205
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...