Sciweavers

6770 search results - page 279 / 1354
» How GPUs Work
Sort
View
FORTE
1990
15 years 4 months ago
Step-wise Refinement Design Example Using LOTOS
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
Luís Ferreira Pires, Wanderley Lopes de Sou...
ATMOS
2009
130views Optimization» more  ATMOS 2009»
15 years 4 months ago
Arc-Flags in Dynamic Graphs
Abstract. Computation of quickest paths has undergoing a rapid development in recent years. It turns out that many high-performance route planning algorithms are made up of several...
Emanuele Berrettini, Gianlorenzo D'Angelo, Daniel ...
123
Voted
BPM
2010
Springer
155views Business» more  BPM 2010»
15 years 4 months ago
PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution
The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processe...
Christoph Ringelstein, Steffen Staab
137
Voted
ERCIMDL
2010
Springer
157views Education» more  ERCIMDL 2010»
15 years 4 months ago
Overview and Results of the INEX 2009 Interactive Track
We present results of the INEX 2009 Interactive Track which focussed on how users behave in interactive search systems. Three types of working tasks based on a collection of book m...
Thomas Beckers, Norbert Fuhr, Nils Pharo, Ragnar N...
127
Voted
SIGIR
2010
ACM
15 years 3 months ago
Can search systems detect users' task difficulty?: some behavioral signals
In this paper, we report findings on how user behaviors vary in tasks with different difficulty levels as well as of different types. Two behavioral signals: document dwell time a...
Jingjing Liu, Chang Liu, Jacek Gwizdka, Nicholas J...