1716 search results - page 264 / 344 » Proving Conditional Termination |
130
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
129
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
We present a game-theoretic model of the interactions between server and clients in a constrained family of commercial P2P computations (where clients are financially compensated...
120
click to vote
COLT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present several results related to ranking. We give a general margin-based bound for ranking based on the L∞ covering number of the hypothesis space. Our bound sugge...
100
click to vote
ICDT
2005
ACM
15 years 8 months ago
2005
ACM
d abstract) Foto Afrati1 and Rada Chirkova2 1 Electrical and Computing Eng., National Technical University of Athens, 157 73 Athens, Greece 2 Computer Science Department, North Car...
109
click to vote
PERVASIVE
2005
Springer
15 years 8 months ago
2005
Springer
The retail store environment is a challenging application area for Pervasive Computing technologies. It has demanding base conditions due to the number and complexity of the interd...