Sciweavers

7554 search results - page 1348 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
MEMOCODE
2006
IEEE
16 years 12 days ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
ACCV
2006
Springer
16 years 11 days ago
Multiregion Level Set Tracking with Transformation Invariant Shape Priors
Tracking of regions and object boundaries in an image sequence is a well studied problem in image processing and computer vision. So far, numerous approaches tracking different fea...
Michael Fussenegger, Rachid Deriche, Axel Pinz
JCDL
2006
ACM
167views Education» more  JCDL 2006»
16 years 10 days ago
Combining DOM tree and geometric layout analysis for online medical journal article segmentation
We describe an HTML web page segmentation algorithm, which is applied to segment online medical journal articles (regular HTML and PDF-Converted-HTML files). The web page content ...
Jie Zou, Daniel X. Le, George R. Thoma
SIGCOMM
2006
ACM
16 years 10 days ago
Analyzing the MAC-level behavior of wireless networks in the wild
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
Ratul Mahajan, Maya Rodrig, David Wetherall, John ...
SIGIR
2006
ACM
16 years 10 days ago
Improving the estimation of relevance models using large external corpora
Information retrieval algorithms leverage various collection statistics to improve performance. Because these statistics are often computed on a relatively small evaluation corpus...
Fernando Diaz, Donald Metzler
« Prev « First page 1348 / 1511 Last » Next »