Sciweavers

1893 search results - page 173 / 379
» Computational composites
Sort
View
96
Voted
ROOM
2000
15 years 2 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
Tony Clark
72
Voted
ACL
1992
15 years 1 months ago
Tense Trees as the "Fine Structure" of Discourse
We present a new compositional tense-aspect deindexing mechanism that makes use of tense trees as components of discourse contexts. The mechanism allows reference episodes to be c...
Chung Hee Hwang, Lenhart K. Schubert
FOGA
1990
15 years 1 months ago
A Hierarchical Approach to Learning the Boolean Multiplexer Function
This paper describes the recently developed genetic programming paradigm which genetically breeds populations of computer programs to solve problems. In genetic programming, the i...
John R. Koza
106
Voted
NAACL
2010
14 years 10 months ago
Why Synchronous Tree Substitution Grammars?
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
Andreas Maletti
87
Voted
RECOMB
2003
Springer
16 years 1 months ago
Haplotype reconstruction from SNP alignment
In this paper, we describe a method for statistical reconstruction of haplotypes from a set of aligned SNP fragments. We consider the case of a pair of homologous human chromosome...
Lei Li, Jong Hyun Kim, Michael S. Waterman