Sciweavers

243 search results - page 20 / 49
» A Computational Model of Empathy: Empirical Evaluation
Sort
View
JMLR
2012
13 years 1 months ago
Structured Output Learning with High Order Loss Functions
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...
Daniel Tarlow, Richard S. Zemel
CVPR
2012
IEEE
13 years 1 months ago
Detecting activities of daily living in first-person camera views
We present a novel dataset and novel algorithms for the problem of detecting activities of daily living (ADL) in firstperson camera views. We have collected a dataset of 1 millio...
Hamed Pirsiavash, Deva Ramanan
97
Voted
SPIN
2010
Springer
14 years 9 months ago
Context-Enhanced Directed Model Checking
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
Martin Wehrle, Sebastian Kupferschmid
92
Voted
AMAI
2010
Springer
14 years 8 months ago
Efficient approximate verification of B and Z models via symmetry markers
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
Michael Leuschel, Thierry Massart
MIR
2006
ACM
178views Multimedia» more  MIR 2006»
15 years 4 months ago
Dual diffusion model of spreading activation for content-based image retrieval
This paper introduces a content-based information retrieval method inspired by the ideas of spreading activation models. In response to a given query, the proposed approach comput...
Serhiy Kosinov, Stéphane Marchand-Maillet, ...