837 search results - page 104 / 168 » Dynamic Burrows-Wheeler Transform |
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
ARIA, ARchitecture for Interactive Arts, is a middleware to process, filter, and fuse sensory inputs and actuate responses in real-time. An ARIA media processing workflow descri...
ACIVS
2006
Springer
14 years 1 months ago
2006
Springer
We propose a scanline energy minimization algorithm for stereo vision. The proposed algorithm differs from conventional energy minimization techniques in that it focuses on the re...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Traditional governmental structures have organized the capture, use, and management of information along agency lines. These “information silos” are not very useful in a dynam...
BPM
2005
Springer
14 years 1 months ago
2005
Springer
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...