Sciweavers

9719 search results - page 1678 / 1944
» Inference for Multiplicative Models
Sort
View
WINE
2009
Springer
182views Economy» more  WINE 2009»
15 years 10 months ago
Competitive Repeated Allocation without Payments
We study the problem of allocating a single item repeatedly among multiple competing agents, in an environment where monetary transfers are not possible. We design (Bayes-Nash) inc...
Mingyu Guo, Vincent Conitzer, Daniel M. Reeves
ESAW
2009
Springer
15 years 10 months ago
Incorporating BDI Agents into Human-Agent Decision Making Research
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
Bart Kamphorst, Arlette van Wissen, Virginia Dignu...
FMCAD
2009
Springer
15 years 10 months ago
Scaling VLSI design debugging with interpolation
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
Brian Keng, Andreas G. Veneris
FSEN
2009
Springer
15 years 10 months ago
A Timed Calculus for Wireless Systems
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
Massimo Merro, Eleonora Sibilio
ICMI
2009
Springer
123views Biometrics» more  ICMI 2009»
15 years 10 months ago
Learning and predicting multimodal daily life patterns from cell phones
In this paper, we investigate the multimodal nature of cell phone data in terms of discovering recurrent and rich patterns in people’s lives. We present a method that can discov...
Katayoun Farrahi, Daniel Gatica-Perez
« Prev « First page 1678 / 1944 Last » Next »