5550 search results - page 45 / 1110 » Different Approaches to Proof Systems |
178
Voted
SPEECH
2008
15 years 6 months ago
2008
Although dialogue systems have been an area of research for decades, finding accurate ways of evaluating different systems is still a very active subfield since many leading metho...
166
click to vote
SEFM
2009
IEEE
16 years 24 days ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
164
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
299
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
181
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...