6978 search results - page 1104 / 1396 » On Proofs in System P |
188
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
We describe a system which is designed to assist in extracting high-level information from sets or sequences of images. We show that the method of principal components analysis fo...
171
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
In the 2006 U.S. election, it was estimated that over 66 million people would be voting on direct recording electronic (DRE) systems in 34% of the nation's counties [8]. Alth...
165
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
183
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. ...
252
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
We are witnessing an explosive increase in the complexity of the information systems we rely upon. Autonomic systems address this challenge by continuously configuring and tuning ...