Sciweavers

2717 search results - page 33 / 544
» Evaluation in Context
Sort
View
FSTTCS
2010
Springer
13 years 5 months ago
ATL with Strategy Contexts: Expressiveness and Model Checking
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
Arnaud Da Costa Lopes, François Laroussinie...
HCI
2007
13 years 9 months ago
Context-Aware Notification for Mobile Police Officers
To minimize unwanted interruption and information overload during surveillance, mobile police officers need to be supported by a mobile, contextaware notification system. This syst...
Jan Willem Streefkerk, Myra P. van Esch-Bussemaker...
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
14 years 2 months ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic
DICTA
2009
13 years 5 months ago
Context-Based Appearance Descriptor for 3D Human Pose Estimation from Monocular Images
In this paper we propose a novel appearance descriptor for 3D human pose estimation from monocular images using a learning-based technique. Our image-descriptor is based on the int...
Suman Sedai, Mohammed Bennamoun, Du Q. Huynh
CC
2006
Springer
122views System Software» more  CC 2006»
13 years 11 months ago
Context-Sensitive Points-to Analysis: Is It Worth It?
We present the results of an empirical study evaluating the precision of subset-based points-to analysis with several variations of context sensitivity on Java benchmarks of signif...
Ondrej Lhoták, Laurie J. Hendren