Sciweavers

1722 search results - page 161 / 345
» Variables in Concept Graphs
Sort
View
136
Voted
ICPR
2010
IEEE
15 years 5 months ago
Feature Space Hausdorff Distance for Face Recognition
We propose a novel face image similarity measure based on Hausdorff distance (HD). In contrast to conventional HD-based measures, which are generally applied in the image space (s...
Shaokang Chen, Brian Carrington Lovell
139
Voted
FMOODS
2003
15 years 4 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...
WER
2010
Springer
15 years 1 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
97
Voted
STOC
2002
ACM
101views Algorithms» more  STOC 2002»
16 years 3 months ago
Size space tradeoffs for resolution
We investigate tradeoffs of various basic complexity measures such as size, space and width. We show examples of formulas that have optimal proofs with respect to any one of these...
Eli Ben-Sasson
157
Voted
AI
2007
Springer
15 years 9 months ago
Multiagent Constraint Satisfaction with Multiply Sectioned Constraint Networks
Abstract. Variables and constraints in problem domains are often distributed. These distributed constraint satisfaction problems (DCSPs) lend themselves to multiagent solutions. Mo...
Yang Xiang, Wanling Zhang