Sciweavers

162 search results - page 20 / 33
» Symbolic Performance and Dependability Evaluation with the T...
Sort
View
WOSP
2005
ACM
14 years 8 days ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
Holger Hermanns, David N. Jansen, Yaroslav S. Usen...
DIAL
2004
IEEE
170views Image Analysis» more  DIAL 2004»
13 years 10 months ago
A General System for the Retrieval of Document Images from Digital Libraries
Large collections of scanned documents (books and journals) are now available in Digital Libraries. The most common method for retrieving relevant information from these collectio...
Simone Marinai, Emanuele Marino, Francesca Cesarin...
DATE
1997
IEEE
75views Hardware» more  DATE 1997»
13 years 11 months ago
Using constraint logic programming in memory synthesis for general purpose computers
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
Renate Beckmann, Jürgen Herrmann
ISMIR
2005
Springer
132views Music» more  ISMIR 2005»
14 years 7 days ago
Syncplayer - An Advanced System for Multimodal Music Access
In this paper, we present the SyncPlayer system for multimodal presentation of high quality audio and associated music-related data. Using the SyncPlayer client interface, a user ...
Frank Kurth, Meinard Müller, David Damm, Chri...
MICCAI
2010
Springer
13 years 4 months ago
Modeling and Segmentation of Surgical Workflow from Laparoscopic Video
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...
Tobias Blum, Hubertus Feußner, Nassir Navab