4940 search results - page 752 / 988 » On the Complexity of Universal Programs |
166
click to vote
DEDUCTIVE
1994
15 years 7 months ago
1994
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...
163
click to vote
ISMB
1994
15 years 7 months ago
1994
Multiple sequence alignment has been a useful methodin the study of molecular evolution and sequence-structure relationships. This paper presents a newmethodfor multiple sequence ...
153
click to vote
COLING
1992
15 years 7 months ago
1992
A formal treatment of typed feature structures (TFSs) is developed to augment TFSs, so that negative descriptions of them can be treated. Negative descriptions of TFSs can make li...
193
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
168
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...