Sciweavers

918 search results - page 33 / 184
» Alternation in Interaction
Sort
View
SIGIR
2008
ACM
13 years 8 months ago
Emulating query-biased summaries using document titles
Generating query-biased summaries can take up a large part of the response time of interactive information retrieval (IIR) systems. This paper proposes to use document titles as a...
Hideo Joho, David Hannah, Joemon M. Jose
ECCV
2008
Springer
14 years 10 months ago
Interactive Tracking of 2D Generic Objects with Spacetime Optimization
Abstract. We present a continuous optimization framework for interactive tracking of 2D generic objects in a single video stream. The user begins with specifying the locations of a...
Xiaolin K. Wei, Jinxiang Chai
MICCAI
2006
Springer
14 years 9 months ago
Toward Interactive User Guiding Vessel Axis Extraction from Gray-scale Angiograms: An Optimization Framework
We propose a novel trace-based method to extract vessel axes from gray-scale angiograms without preliminary segmentations. Our method traces the axes on an optimization framework w...
Wilbur C. K. Wong, Albert C. S. Chung
ESORICS
2002
Springer
14 years 8 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
IV
2009
IEEE
114views Visualization» more  IV 2009»
14 years 3 months ago
Chronos: A Tool for Interactive Scheduling and Visualisation of Task Hierarchies
Visualisation and structuring of tasks in a schedule, from relatively simple activities such as meeting scheduling to more complex ones such as project planning, has been traditio...
Saturnino Luz, Masood Masoodian, Daniel McKenzie, ...