1842 search results - page 164 / 369 » Measurement theory in linguistics |
149
click to vote
ICLA
2011
Springer
14 years 4 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
133
Voted
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
As cloud computing environments become explosively popular, dealing with unpredictable changes, uncertainties, and disturbances in both systems and environments turns out to be on...
116
Voted
CACM
1998
15 years 14 days ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
144
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
112
click to vote
ACL
2011
14 years 4 months ago
2011
Despite the rising interest in developing grammatical error detection systems for non-native speakers of English, progress in the field has been hampered by a lack of informative...