8154 search results - page 96 / 1631 » Understanding changes in use cases: A case study |
GI
2007
Springer
15 years 3 months ago
2007
Springer
: The decomposition of planning and scheduling problems is a well known technique to make these problems tractable. The resulting dependable subproblems were often solved using dif...
101
click to vote
DAC
1997
ACM
15 years 2 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
COLING
2008
15 years 19 days ago
2008
We determine the subjectivity of word senses. To avoid costly annotation, we evaluate how useful existing resources established in opinion mining are for this task. We show that r...
104
click to vote
IADIS
2009
14 years 9 months ago
2009
In this paper we present our evaluations of using an Information Retrieval library in a commercial employment website with over 300,000 searches a day. Comparison of existing rela...
CHI
2005
ACM
15 years 11 months ago
2005
ACM
To contribute to systems that reason about human attention, our work empirically demonstrates how a user's mental workload changes during task execution. We conducted a study...