10568 search results - page 177 / 2114 » Computer Intelligence and Formalization |
PERVASIVE
2006
Springer
15 years 2 months ago
2006
Springer
106
Voted
ACL
2010
15 years 25 days ago
2010
We address the problem of selecting nondomain-specific language model training data to build auxiliary language models for use in tasks such as machine translation. Our approach i...
159
Voted
UPP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...
107
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
148
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...