Sciweavers

9626 search results - page 1423 / 1926
» Invariant Based Programming
Sort
View
EACL
1993
ACL Anthology
15 years 8 months ago
Rule-based Acquisition and Maintenance of Lexical and Semantic Knowledge
The lexicons for Knowledge-Based Machine Translation systems require knowledge intensive morphological, syntactic and semantic information. This information is often used in diffe...
Donna Gates, Peter Shell
DEDUCTIVE
1994
119views Database» more  DEDUCTIVE 1994»
15 years 8 months ago
Determining Correct View Update Translations via Query Containment
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
Anthony Tomasic
ISMB
1994
15 years 8 months ago
An Efficient Method for Multiple Sequence Alignment
Multiple sequence alignment has been a useful methodin the study of molecular evolution and sequence-structure relationships. This paper presents a newmethodfor multiple sequence ...
Jin Kim, Sakti Pramanik
ISMB
1993
15 years 8 months ago
Discovering Sequence Similarity by the Algorithmic Significance Method
The minimal-length encoding approach is applied to define concept of sequence similarity. Asequence is defined to be similar to another sequence or to a set of keywords if it can ...
Aleksandar Milosavljevic
SLP
1994
121views more  SLP 1994»
15 years 8 months ago
CLP(Intervals) Revisited
The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive ...
Frédéric Benhamou, David A. McAllest...
« Prev « First page 1423 / 1926 Last » Next »