Sciweavers

3251 search results - page 327 / 651
» Dynamic User Modeling for Sketch-Based User Interface
Sort
View
ANSS
2008
IEEE
15 years 10 months ago
Executable Protocol Models as a Requirements Engineering Tool
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
Ashley T. McNeile, Ella E. Roubtsova
SIMUTOOLS
2008
15 years 5 months ago
Snoopy: a tool to design and animate/simulate graph-based formalisms
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
Monika Heiner, Ronny Richter, Martin Schwarick
AAAI
2006
15 years 5 months ago
AI Support for Building Cognitive Models
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...
Robert St. Amant, Sean P. McBride, Frank E. Ritter
ACSC
2006
IEEE
15 years 10 months ago
Interaction design for a mobile context-aware system using discrete event modelling
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
Annika Hinze, Petra Malik, Robi Malik
142
Voted
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 3 months ago
Mathematical Modeling of Competition in Sponsored Search Market
Sponsored search mechanisms have drawn much attention from both academic community and industry in recent years since the seminal papers of [3] and [4]. However, most of the exist...
Jian Liu, Dah Ming Chiu