Sciweavers

456 search results - page 40 / 92
» Semantic Foundations of Jade
Sort
View
DISCO
1992
161views Hardware» more  DISCO 1992»
14 years 1 months ago
Combinatory Models and Symbolic Computation
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
Karl Aberer
ER
2007
Springer
115views Database» more  ER 2007»
14 years 1 months ago
Modeling Workflow Patterns from First Principles
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
Egon Börger
CLA
2006
13 years 11 months ago
Graded LinClosure and Its Role in Relational Data Analysis
We present graded extension of the algorithm LinClosure. Graded LinClosure can be used to compute degrees of semantic entailment from sets of fuzzy attribute implications. It can a...
Radim Belohlávek, Vilém Vychodil
ECIR
2003
Springer
13 years 11 months ago
Aggregated Feature Retrieval for MPEG-7
In this paper we present an initial study on the use of both high and low level MPEG-7 descriptions for video retrieval. A brief survey of current XML indexing techniques shows tha...
Jiamin Ye, Alan F. Smeaton
IJCAI
1989
13 years 10 months ago
Measure-Free Conditioning, Probability and Non-Monotonic Reasoning
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
Didier Dubois, Henri Prade