222 search results - page 8 / 45 » E-Matching with Free Variables |
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
Evolutionary electronics is a brunch of Evolvable Hardware, where the Evolutionary Algorithm is applied towards electronic circuits. The success ofevolutionary search most of all ...
FLAIRS
2003
13 years 9 months ago
2003
We present an algorithm for the inference of context-free graph grammars from examples. The algorithm builds on an earlier system for frequent substructure discovery, and is biase...
JAR
2008
13 years 7 months ago
2008
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Conditional Random Fields (CRFs) are often estimated using an entropy based criterion in combination with Generalized Iterative Scaling (GIS). GIS offers, upon others, the immedi...