10182 search results - page 106 / 2037 » Case Studies |
117
click to vote
CIVR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present the results of a user study that was conducted in combination with a submission to TRECVID 2003. Search behavior of students querying an interactive video-...
HCI
2009
14 years 11 months ago
2009
Abstract. IT service delivery is challenging to study. It is characterized by interacting systems of technology, people, and organizations. The work is sometimes reactive, sometime...
107
click to vote
JIRS
2007
15 years 1 months ago
2007
In the paper a fuzzy model based predictive control algorithm is presented. The proposed algorithm is developed in the state space and is given in analytical form, which is an adva...
117
click to vote
ISSRE
2010
IEEE
15 years 1 days ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
116
click to vote
ASM
1998
ASM
15 years 5 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...