506 search results - page 69 / 102 » Where Is the Value in a Program Verifier |
111
click to vote
SIGMOD
2008
ACM
15 years 13 days ago
2008
ACM
OLAP is an important tool in decision support. With the help of domain knowledge, such as hierarchies of attribute values, OLAP helps the user observe the effects of various decis...
136
Voted
JAIR
2002
15 years 6 days ago
2002
The recursive least-squares (RLS) algorithm is one of the most well-known algorithms used in adaptive filtering, system identification and adaptive control. Its popularity is main...
102
click to vote
FOCS
2008
IEEE
15 years 7 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
101
click to vote
PODC
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...
92
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...