Sciweavers

3136 search results - page 524 / 628
» Genetic programming theory
Sort
View
149
Voted
CATS
2007
15 years 6 months ago
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
Peter Morris, Thorsten Altenkirch, Neil Ghani
HCI
2007
15 years 6 months ago
Physical Representation Social Presence with Interactive Grass
The hypothesis that happy team members are more cooperative than sad team members has become a popular presumption in social and applied psychology. The member negatively may affec...
Jui Hang Shih, Teng-Wen Chang, Hui-Mei Hong, Tian-...
125
Voted
NIPS
2008
15 years 6 months ago
Clustering via LP-based Stabilities
A novel center-based clustering algorithm is proposed in this paper. We first formulate clustering as an NP-hard linear integer program and we then use linear programming and the ...
Nikos Komodakis, Nikos Paragios, Georgios Tziritas
ACL
2004
15 years 6 months ago
Balancing Clarity and Efficiency in Typed Feature Logic Through Delaying
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
Gerald Penn
DLT
2006
15 years 6 months ago
Noncanonical LALR(1) Parsing
This paper addresses the longstanding problem of the recognition limitations of classical LALR(1) parser generators by proposing the usage of noncanonical parsers. To this end, we...
Sylvain Schmitz