1636 search results - page 246 / 328 » Reasoning About Quantum Systems |
163
click to vote
IAT
2006
IEEE
16 years 6 days ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
199
click to vote
ACL2
2006
ACM
16 years 4 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
186
click to vote
PLDI
2006
ACM
16 years 4 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
175
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
173
click to vote
CRV
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...