Sciweavers

3619 search results - page 143 / 724
» Humor modeling in the interface
Sort
View
CONCUR
2009
Springer
15 years 11 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
VRML
2005
ACM
15 years 10 months ago
Location-aware visualization of VRML models in GPS-based mobile guides
In this paper, we present LAMP3D, a system for the locationaware presentation of VRML content on mobile devices. We explore the application of LAMP3D in tourist mobile guides: the...
Stefano Burigat, Luca Chittaro
152
Voted
COMPUTER
1998
94views more  COMPUTER 1998»
15 years 4 months ago
Multiprocessors Should Support Simple Memory-Consistency Models
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...
Mark D. Hill
CHI
2007
ACM
16 years 5 months ago
An extensible platform for the interactive exploration of Fitts' Law and related movement time models
This paper describes a new software platform for the interactive exploration of human performance models such as Fitts' law. The software is written in Java and provides a fl...
Martin J. Schedlbauer
AVI
1998
15 years 6 months ago
Information foraging models of browsers for very large document spaces
Information Foraging (IF) Theory addresses user strategies and technology for seeking, gathering, and using on-line information. We present IF-based models and evaluations of two ...
Peter Pirolli, Stuart K. Card