10038 search results - page 1653 / 2008 » Model Checking for Managers |
183
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
REVI-MINER is a KDD-environment which supports the detection and analysis of deviations in warranty and goodwill cost statements. The system was developed within the framework of ...
165
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
For much of the industrialized world, network connectivity in the home is commonplace. Despite the large number of networked homes, even the most technically savvy people can have...
187
click to vote
HPCA
2007
IEEE
16 years 7 months ago
2007
IEEE
This paper evaluates the suitability of the MapReduce model for multi-core and multi-processor systems. MapReduce was created by Google for application development on data-centers...
154
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
User attention is a scarce resource, and users are susceptible to interruption overload. Systems do not reason about the effects of interrupting a user during a task sequence. In ...
184
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
User interfaces can improve task performance by exploiting the powerful human capabilities for spatial cognition. This opportunity has been demonstrated by many prior experiments....