4949 search results - page 311 / 990 » Consistency and Set Intersection |
180
click to vote
ITSSA
2006
15 years 6 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
195
click to vote
FUIN
2007
15 years 6 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
211
Voted
IDA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper introduces a new algorithm for approximate mining of frequent patterns from streams of transactions using a limited amount of memory. The proposed algorithm co...
141
click to vote
AMAI
2002
Springer
15 years 6 months ago
2002
Springer
: Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality wh...
179
click to vote
COMPLEXITY
2004
15 years 6 months ago
2004
In an evolving community consisting of many individuals, it is often the case that the individuals tend, over time, to become more specialized in performing the tasks necessary fo...