Sciweavers

1411 search results - page 159 / 283
» Interactive Coding for Interactive Proofs
Sort
View
AI
2010
Springer
14 years 6 months ago
Robust solutions to Stackelberg games: Addressing bounded rationality and limited observations in human cognition
How do we build algorithms for agent interactions with human adversaries? Stackelberg games are natural models for many important applications that involve human interaction, such...
James Pita, Manish Jain, Milind Tambe, Fernando Or...
SAC
2006
ACM
15 years 3 months ago
Noxes: a client-side solution for mitigating cross-site scripting attacks
Web applications are becoming the dominant way to provide access to on-line services. At the same time, web application vulnerabilities are being discovered and disclosed at an al...
Engin Kirda, Christopher Krügel, Giovanni Vig...
FUNGAMES
2010
14 years 11 months ago
Recognizing self in puppet controlled virtual avatars
Recent work in neuroscience suggests that there is a common coding in the brain between perception, imagination and execution of movement. Further, this common coding is considere...
Ali Mazalek, Michael Nitsche, Sanjay Chandrasekhar...
ICSE
2003
IEEE-ACM
15 years 10 months ago
Source Viewer 3D (sv3D) - A Framework for Software Visualization
2. Support for User Interaction Source Viewer 3D is a software visualization framework that uses a 3D metaphor to represent software system and analysis data. The 3D representation...
Jonathan I. Maletic, Andrian Marcus, Louis Feng
ICIP
2008
IEEE
15 years 11 months ago
Viewpoint switching in multiview videos using SP-frames
The distinguishing feature of multiview video lies in the interactivity, which allows users to select their favourite viewpoint. It switches bitstream at a particular view when ne...
Ki-Kit Lai, Yui-Lam Chan, Chang-Hong Fu, Wan-Chi S...