4224 search results - page 111 / 845 » Reasoning about Choice |
129
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
This text gives an overview about my current research in timing analysis
167
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
146
click to vote
IWCMC
2006
ACM
15 years 11 months ago
2006
ACM
Past research studying the operations of TCP over wireless/mobile ad hoc networks has shown that TCP cannot be adopted as-is for use in mobile ad hoc networks (MANET) to achieve r...
147
click to vote
GRID
2003
Springer
15 years 10 months ago
2003
Springer
Computational Grids have the potential to become the main execution platform for high performance and distributed applications. However, such systems are extremely complex and pro...
156
click to vote
COLT
1999
Springer
15 years 9 months ago
1999
Springer
We present a unified framework for reasoning about worst-case regret bounds for learning algorithms. This framework is based on the theory of duality of convex functions. It brin...