Sciweavers

1490 search results - page 83 / 298
» Interactive semantics
Sort
View
KES
2005
Springer
14 years 3 months ago
gProt: Annotating Protein Interactions Using Google and Gene Ontology
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical informa...
Rune Sætre, Amund Tveit, Martin Thorsen Rana...
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 3 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
ASM
2008
ASM
14 years 1 days ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
GRAPHICSINTERFACE
2007
13 years 11 months ago
Jump: a system for interactive, tangible queries of paper
This paper introduces Jump, a prototype computer vision-based system that transforms paper-based architectural documents into tangible query interfaces. Specifically, Jump allows ...
Michael Terry, Janet Cheung, Justin Lee, Terry Par...
SPIESR
2004
171views Database» more  SPIESR 2004»
13 years 11 months ago
Interactive segmentation with hidden object-based annotations: toward smart media
In this paper a novel "Smart Media" concept for semantic-based multimedia security and management is proposed. This concept is based on interactive object segmentation (...
Yuriy Rytsar, Sviatoslav Voloshynovskiy, Fré...