3931 search results - page 553 / 787 » Separation logic and abstraction |
158
click to vote
ENTCS
2006
15 years 7 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
186
Voted
KES
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We propose inductive distance-based methods for instance classification and retrieval in ontologies. Casting retrieval as a classification problem with the goal of assess...
195
click to vote
NGC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
140
click to vote
INFORMATICALT
2007
15 years 7 months ago
2007
Abstract. In this paper an exact and complete analysis of the Lloyd–Max’s algorithm and its initialization is carried out. An effective method for initialization of Lloyd–Max...
157
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main comp...