6155 search results - page 876 / 1231 » A language for multiple models of computation |
180
click to vote
FMSD
2008
15 years 6 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
160
click to vote
TSD
2004
Springer
16 years 3 days ago
2004
Springer
We investigate techniques for acoustic modeling in automatic recognition of context-independent phoneme strings from the TIMIT database. The baseline phoneme recognizer is based on...
199
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
197
click to vote
ACL
2004
15 years 8 months ago
2004
Temporal relation resolution involves extraction of temporal information explicitly or implicitly embedded in a language. This information is often inferred from a variety of inte...
189
click to vote
SIGARCH
2008
15 years 6 months ago
2008
This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an impe...