Sciweavers

3814 search results - page 343 / 763
» Operating system support for multimedia systems
Sort
View
MM
2004
ACM
142views Multimedia» more  MM 2004»
16 years 6 days ago
Parsing and browsing tools for colonoscopy videos
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...
Yu Cao, Dalei Li, Wallapak Tavanapong, Jung-Hwan O...
SENSYS
2006
ACM
16 years 22 days ago
A self-calibrating distributed acoustic sensing platform
We will demonstrate the operation of the Acoustic Embedded Networked Sensing Box (ENSBox), a platform for prototyping rapid-deployable distributed acoustic sensing systems. The EN...
Lewis Girod, Martin Lukac, Vlad Trifa, Deborah Est...
BPM
2000
Springer
133views Business» more  BPM 2000»
15 years 10 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
DEDUCTIVE
1993
140views Database» more  DEDUCTIVE 1993»
15 years 8 months ago
AMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA
In this paper we present the set-oriented bottom-up parsing system AMOS which is a major application of the deductive database system LOLA. AMOS supports the morpho-syntactical an...
Günther Specht, Burkhard Freitag
ENTCS
2000
81views more  ENTCS 2000»
15 years 6 months ago
Secrecy, Group Creation
We lift Cardelli, Ghelli and Gordon's secrecy group creation operator [1] to a relative of the spicalculus that supports symmetric key cryptography, and show a natural extens...
Luca Cardelli, Andy Gordon, Giorgio Ghelli