5084 search results - page 992 / 1017 » Proving Possibility Properties |
114
click to vote
ISMB
1993
15 years 1 months ago
1993
Understanding self-replication from an information processing perspective is important because, amongother things, it can shed light on molecular mechanismsof biological reproduct...
124
Voted
PPSC
1993
15 years 1 months ago
1993
We will present a matrix framework for the conjugate gradient methods, which is expressed in terms of whole vector sequences instead of single vectors or initial parts of sequence...
109
Voted
EACL
1989
ACL Anthology
15 years 1 months ago
1989
ACL Anthology
Koskenniemi's model of two-level morphology has been very influential in recent years, but definitions of the formalism have generally been phrased in terms of a compilation ...
101
Voted
ANLP
1992
15 years 1 months ago
1992
This paper describes an approach to the treatment of nominal compounds in a machine translation project employing a modern unification-based system. General problems connected wit...
139
click to vote
AAAI
2008
15 years 1 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...