Sciweavers

5539 search results - page 62 / 1108
» What can be computed locally
Sort
View
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 7 months ago
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
Manu Jose, Rupak Majumdar
CHI
2005
ACM
14 years 10 months ago
Context-aware collaborative filtering system: predicting the user's preferences in ubiquitous computing
In this paper I propose a context-aware collaborative filtering system that can predict a user's preference in different context situations based on past user-experiences. Th...
Annie Chen
IJACI
2010
86views more  IJACI 2010»
13 years 8 months ago
Leveraging the Web Platform for Ambient Computing: An Experience
This paper explores a very simple idea: what can be achieved by using the principles and the technologies of the Web Platform1 when they are applied to Ambient Computing? To answer...
Fabio Mancinelli
MOR
2010
106views more  MOR 2010»
13 years 8 months ago
Smoothing Techniques for Computing Nash Equilibria of Sequential Games
We develop first-order smoothing techniques for saddle-point problems that arise in the Nash equilibria computation of sequential games. The crux of our work is a construction of ...
Samid Hoda, Andrew Gilpin, Javier Peña, Tuo...
ERCIMDL
2004
Springer
116views Education» more  ERCIMDL 2004»
14 years 3 months ago
Towards a Policy Language for Humans and Computers
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
Vicky Weissman, Carl Lagoze