1091 search results - page 177 / 219 » The State of Cognitive Systems Engineering |
TCOM
2010
13 years 3 months ago
2010
Abstract--The optimization of the pilot overhead in singleuser wireless fading channels is investigated, and the dependence of this overhead on various system parameters of interes...
IUI
1999
ACM
14 years 1 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
RECSYS
2009
ACM
14 years 3 months ago
2009
ACM
We present an incentive-based architecture for providing recommendations in a social network. We maintain a distinct reputation system for each individual and we rely on users to ...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
CODES
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...