Sciweavers

2549 search results - page 44 / 510
» Toward a complexity theory of information systems developmen...
Sort
View
CHI
2001
ACM
14 years 8 months ago
Visual information foraging in a focus + context visualization
Eye tracking studies of the Hyperbolic Tree browser [10] suggest that visual search in focus+context displays is highly affected by information scent (i.e., local cues, such as te...
Peter Pirolli, Stuart K. Card, Mija M. Van Der Weg...
ICDE
2007
IEEE
173views Database» more  ICDE 2007»
13 years 9 months ago
A Hybrid Recommender System for Context-aware Recommendations of Mobile Applications
The goal of the work in this paper is towards the incorporation of context in recommender systems in the domain of mobile applications. The approach recommends mobile applications...
Wolfgang Wörndl, Christian Schüller, Rol...
LICS
2008
IEEE
14 years 2 months ago
On the Computational Complexity of Cut-Reduction
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
Klaus Aehlig, Arnold Beckmann
FBT
1998
129views Formal Methods» more  FBT 1998»
13 years 9 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
FOIKS
2004
Springer
14 years 1 months ago
Towards a Generalized Interaction Scheme for Information Access
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...
Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos