2881 search results - page 493 / 577 » Model Checking for Programming Languages using Verisoft |
187
click to vote
HLPPP
1991
15 years 8 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
190
click to vote
USS
2010
15 years 2 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
133
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We present lower bounds on the space required to estimate the quantiles of a stream of numerical values. Quantile estimation is perhaps the most studied problem in the data stream ...
158
click to vote
ACL
1998
15 years 6 months ago
1998
We introduce a stochastic grammatical channel model for machine translation, that synthesizes several desirable characteristics of both statistical and grammatical machine transla...
152
click to vote
JMLR
2012
13 years 7 months ago
2012
We consider a model for which it is important, early in processing, to estimate some variables with high precision, but perhaps at relatively low recall. If some variables can be ...