Sciweavers

4743 search results - page 260 / 949
» The PlusCal Algorithm Language
Sort
View
146
Voted
GECCO
2006
Springer
135views Optimization» more  GECCO 2006»
15 years 7 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
150
Voted
DAGSTUHL
1997
15 years 5 months ago
Querying the Uncertain Position of Moving Objects
In this paper we propose a data model for representing moving objects with uncertain positions in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data mod...
A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, S...
124
Voted
ACTA
2007
114views more  ACTA 2007»
15 years 3 months ago
Recursive descent parsing for Boolean grammars
The recursive descent parsing method for the context-free grammars is extended for their generalization, Boolean grammars, which include explicit set-theoretic operations in the f...
Alexander Okhotin
121
Voted
ENTCS
2008
85views more  ENTCS 2008»
15 years 3 months ago
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
Julien Narboux, Christian Urban
134
Voted
JMLR
2008
107views more  JMLR 2008»
15 years 3 months ago
A Library for Locally Weighted Projection Regression
In this paper we introduce an improved implementation of locally weighted projection regression (LWPR), a supervised learning algorithm that is capable of handling high-dimensiona...
Stefan Klanke, Sethu Vijayakumar, Stefan Schaal