586 search results - page 62 / 118 » Witnessing side effects |
112
click to vote
JLP
2010
14 years 11 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
193
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
138
Voted
TIT
2010
14 years 11 months ago
2010
We consider the Wyner-Ziv (WZ) problem of lossy compression where the decompressor observes a noisy version of the source, whose statistics are unknown. A new family of WZ coding a...
150
Voted
ACL
2012
13 years 7 months ago
2012
The integration of multiword expressions in a parsing procedure has been shown to improve accuracy in an artiļ¬cial context where such expressions have been perfectly pre-identiļ...
256
Voted
POPL
2006
ACM
16 years 5 months ago
2006
ACM
In POPL 2002, Petrank and Rawitz showed a universal result-finding optimal data placement is not only NP-hard but also impossible to approximate within a constant factor if P = NP...