3228 search results - page 200 / 646 » Computationally Sound Proofs |
129
click to vote
TVLSI
2002
15 years 6 months ago
2002
Theoretical analysis of bus-invert coding for reducing switching activity was previously investigated. In this paper we conduct a theoretical analysis of this method for coupling r...
157
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
We describe a computational system which parses discourses consisting of sequences of simple sentences. These contain a range of temporal constructions, including time adverbials,...
187
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
204
click to vote
SI3D
2012
ACM
14 years 2 months ago
2012
ACM
We present an interactive virtual percussion instrument system, Tabletop Ensemble, that can be used by a group of collaborative users simultaneously to emulate playing music in re...
279
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...