2299 search results - page 249 / 460 » Logical Data Expiration |
202
click to vote
ICGI
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
174
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
178
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
182
click to vote
ICDIM
2007
IEEE
15 years 8 months ago
2007
IEEE
With the growing popularity of XML there is a need not only to describe the structure of XML data but also its semantics. For the conceptual modelling of XML we can use existing c...
175
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...