Sciweavers

4753 search results - page 112 / 951
» Natural Modelling of Interactive Applications
Sort
View
SCALESPACE
2009
Springer
14 years 2 months ago
A Variational Model for Interactive Shape Prior Segmentation and Real-Time Tracking
In this paper, we introduce a semi-automated segmentation method based on minimizing the Geodesic Active Contour energy incorporating a shape prior. We increase the robustness of t...
Manuel Werlberger, Thomas Pock, Markus Unger, Hors...
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
13 years 6 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
VCHCI
1993
14 years 7 days ago
From Undo to Multi-User Applications
The interaction history of a document can be modelled as a tree of command objects. This model does not only support recovery (undo/redo), but is also suitable for cooperation betw...
Thomas Berlage, Andreas Genau
SIGIR
2006
ACM
14 years 2 months ago
Learning user interaction models for predicting web search result preferences
Evaluating user preferences of web search results is crucial for search engine development, deployment, and maintenance. We present a real-world study of modeling the behavior of ...
Eugene Agichtein, Eric Brill, Susan T. Dumais, Rob...
DAC
2003
ACM
14 years 9 months ago
Accurate timing analysis by modeling caches, speculation and their interaction
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury