Sciweavers

3724 search results - page 181 / 745
» Timed regular expressions
Sort
View
148
Voted
LOGCOM
2010
154views more  LOGCOM 2010»
14 years 11 months ago
Collaborative Runtime Verification with Tracematches
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...
STOC
2001
ACM
161views Algorithms» more  STOC 2001»
16 years 4 months ago
Quantitative solution of omega-regular games
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...
Luca de Alfaro, Rupak Majumdar
VLDB
2005
ACM
175views Database» more  VLDB 2005»
15 years 10 months ago
Query Translation from XPath to SQL in the Presence of Recursive DTDs
The interaction between recursion in XPATH and recursion in DTDs makes it challenging to answer XPATH queries on XML data that is stored in an RDBMS via schema-based shredding. We...
Wenfei Fan, Jeffrey Xu Yu, Hongjun Lu, Jianhua Lu,...
DEXAW
2005
IEEE
176views Database» more  DEXAW 2005»
15 years 6 months ago
Indexes and Path Constraints in Semistructured Data
In this paper, we study semistructured data and indexes preserving inclusion constraints. A semistructured datum is modelled by multi-rooted edge-labeled directed graphs. We consi...
Yves Andre, Anne-Cécile Caron, Denis Debarb...
ICIP
1994
IEEE
15 years 8 months ago
Total Variation Based Image Restoration with Free Local Constraints
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...
Leonid I. Rudin, Stanley Osher