4460 search results - page 320 / 892 » Formal methods for interactive systems |
178
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The development of high-throughput technologies such as yeast two-hybrid systems and mass spectrometry technologies has made it possible to generate large protein-prot...
148
click to vote
AFP
2008
Springer
16 years 1 months ago
2008
Springer
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
164
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
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...
135
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper describes a method to visualize the thickness of curved thin objects. Given the MRI volume data of articular cartilage, medical doctors investigate pathological changes...
179
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Faceted search is becoming a popular method to allow users to interactively search and navigate complex information spaces. A faceted search system presents users with keyvalue me...