Sciweavers

3758 search results - page 60 / 752
» A Complete Subsumption Algorithm
Sort
View
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
13 years 9 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre
JMLR
2008
135views more  JMLR 2008»
13 years 7 months ago
Complete Identification Methods for the Causal Hierarchy
We consider a hierarchy of queries about causal relationships in graphical models, where each level in the hierarchy requires more detailed information than the one below. The hie...
Ilya Shpitser, Judea Pearl
ICPR
2006
IEEE
14 years 8 months ago
Video Completion for Perspective Camera Under Constrained Motion
This paper presents a novel technique to fill in missing background and moving foreground of a video captured by a static or moving camera. Different from previous efforts which a...
Yuping Shen, Fei Lu, Xiaochun Cao, Hassan Foroosh
CIKM
2005
Springer
14 years 1 months ago
QED: a novel quaternary encoding to completely avoid re-labeling in XML updates
The method of assigning labels to the nodes of the XML tree is called a labeling scheme. Based on the labels only, both ordered and un-ordered queries can be processed without acc...
Changqing Li, Tok Wang Ling
LPAR
2005
Springer
14 years 1 months ago
Another Complete Local Search Method for SAT
Local search algorithms are one of the effective methods for solving hard combinatorial problems. However, a serious problem of this approach is that the search often traps at loca...
Haiou Shen, Hantao Zhang