Sciweavers

2354 search results - page 231 / 471
» A Common-Sense Theory of Time
Sort
View
ASIAN
2009
Springer
334views Algorithms» more  ASIAN 2009»
15 years 7 months ago
A Dolev-Yao Model for Zero Knowledge
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh
HUC
2010
Springer
15 years 7 months ago
Goal-driven opportunistic sensing
Opportunistic activity and context recognition systems do not presume a static sensor infrastructure that is defined at the design time of a system. They also do not have a fixed ...
Marc Kurz
AAAI
2010
15 years 6 months ago
Beyond Equilibrium: Predicting Human Behavior in Normal-Form Games
It is standard in multiagent settings to assume that agents will adopt Nash equilibrium strategies. However, studies in experimental economics demonstrate that Nash equilibrium is...
James R. Wright, Kevin Leyton-Brown
CORR
2010
Springer
115views Education» more  CORR 2010»
15 years 6 months ago
Optimal topological simplification of discrete functions on surfaces
We solve the problem of minimizing the number of critical points among all functions on a surface within a prescribed distance from a given input function. The result is achieved...
Ulrich Bauer, Carsten Lange, Max Wardetzky
ENTCS
2010
141views more  ENTCS 2010»
15 years 6 months ago
Debugging as a Science, that too, when your Program is Changing
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
Abhik Roychoudhury