Sciweavers

756 search results - page 65 / 152
» Leveraging the CAPTCHA Problem
Sort
View
PLPV
2010
ACM
14 years 5 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross
SIGECOM
2009
ACM
216views ECommerce» more  SIGECOM 2009»
14 years 3 months ago
Approximate mechanism design without money
The literature on algorithmic mechanism design is mostly concerned with game-theoretic versions of optimization problems to which standard economic money-based mechanisms cannot b...
Ariel D. Procaccia, Moshe Tennenholtz
CDC
2008
IEEE
202views Control Systems» more  CDC 2008»
14 years 3 months ago
Integrating human and robot decision-making dynamics with feedback: Models and convergence analysis
— Leveraging research by psychologists on human decision-making, we present a human-robot decision-making problem associated with a complex task and study the corresponding joint...
Ming Cao, Andrew Reed Stewart, Naomi Ehrich Leonar...
IPPS
2008
IEEE
14 years 3 months ago
Modeling and analysis of power in multicore network processors
With the emergence of multicore network processors in support of high-performance computing and networking applications, power consumption has become a problem of increasing signi...
S. Huang, Y. Luo, W. Feng
P2P
2008
IEEE
14 years 3 months ago
Scalable Resource Annotation in Peer-to-Peer Grids
Peer-to-peer grids are large-scale, dynamic environments where autonomous sites share computing resources. Producing and maintaining relevant and up-to-date resource information i...
Nazareno Andrade, Elizeu Santos-Neto, Francisco Vi...