2737 search results - page 500 / 548 » interaction 2009 |
166
click to vote
CCS
2009
ACM
16 years 2 days ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
149
Voted
FOCS
2009
IEEE
16 years 1 days ago
2009
IEEE
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veriï...
158
click to vote
GLOBECOM
2009
IEEE
16 years 1 days ago
2009
IEEE
—In this paper, we model and analyze the interactions between secondary users in a spectrum overlay cognitive system as a cognitive MAC game. In this game, each secondary user ca...
176
click to vote
IROS
2009
IEEE
15 years 12 months ago
2009
IEEE
- A phoneme-acquisition system was developed using a computational model that explains the developmental process of human infants in the early period of acquiring language. There a...
190
click to vote
LICS
2009
IEEE
15 years 12 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...