Sciweavers

3235 search results - page 99 / 647
» Partial Redundant Modeling
Sort
View
AIIA
2005
Springer
15 years 9 months ago
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
IDEAS
1999
IEEE
101views Database» more  IDEAS 1999»
15 years 8 months ago
Integration of Semistructured Data with Partial and Inconsistent Information
Data integration of several sources has gained considerable attentions with the recent popularity of the Web. In the real world, some information may be missing i.e., partial and ...
Mengchi Liu, Tok Wang Ling, Tao Guan
LPAR
1999
Springer
15 years 8 months ago
A Partial Evaluation Framework for Curry Programs
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
Elvira Albert, María Alpuente, Michael Hanu...
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 7 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
CVPR
2011
IEEE
15 years 9 days ago
From Partial Shape Matching through Local Deformation to Robust Global Shape Similarity for Object Detection
In this paper, we propose a novel framework for contour based object detection. Compared to previous work, our contribution is three-fold. 1) A novel shape matching scheme suitabl...
Tianyang Ma, LonginJan Latecki