Sciweavers

2492 search results - page 115 / 499
» On the General Signature Trees
Sort
View
WOLLIC
2009
Springer
16 years 29 days ago
Recognizability in the Simply Typed Lambda-Calculus
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
Sylvain Salvati
ISAAC
2004
Springer
137views Algorithms» more  ISAAC 2004»
15 years 11 months ago
The Polymatroid Steiner Problems
The Steiner tree problem asks for a minimum cost tree spanning a given set of terminals S ⊆ V in a weighted graph G = (V, E, c), c : E → R+ . In this paper we consider a genera...
Gruia Calinescu, Alexander Zelikovsky
GECCO
2006
Springer
135views Optimization» more  GECCO 2006»
15 years 10 months ago
Characterizing the dynamics of symmetry breaking in genetic programming
This paper introduces a metric that measures symmetry in tree graphs, which allows for a statistical characterization of GP solutions by their architectural "shapes." A ...
Jason M. Daida
ACL
2000
15 years 7 months ago
A Constraint-based Approach to English Prosodic Constituents
The paper develops a constraint-based theory of prosodic phrasing and prominence, based on an HPSG framework, with an implementation in ALE. Prominence and juncture are represente...
Ewan Klein
ITA
2002
105views Communications» more  ITA 2002»
15 years 6 months ago
Polypodic codes
Word and tree codes are studied in a common framework, that of polypodes which are sets endowed with a substitution like operation. Many examples are given and basic properties are...
Symeon Bozapalidis, Olympia Louscou-Bozapalidou