2845 search results - page 249 / 569 » Constraints over Ontologies |
166
click to vote
ICDM
2007
IEEE
16 years 10 days ago
2007
IEEE
We study the problem of finding frequent itemsets in a continuous stream of transactions. The current frequency of an itemset in a stream is defined as its maximal frequency ove...
125
click to vote
PG
2007
IEEE
16 years 9 days ago
2007
IEEE
The craft of papercutting is part of the folk art traditions of cultures all over the world. From the point of view of computer graphics, papercutting can be seen as a method of c...
174
click to vote
PRDC
2007
IEEE
16 years 9 days ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
139
click to vote
MODELS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
157
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...