12115 search results - page 2121 / 2423 » Bisimulation of Dynamical Systems |
201
click to vote
SEMWEB
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
228
click to vote
SPIN
2004
Springer
16 years 1 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
170
click to vote
STDBM
2004
Springer
16 years 1 days ago
2004
Springer
This paper introduces the Dynamic Cascade Tree (DCT), a structure designed to index query regions on multi-dimensional data streams. The DCT is designed for a stream management sy...
169
click to vote
VLDB
2004
ACM
16 years 22 hour ago
2004
ACM
1 Frequent itemset counting is the first step for most association rule algorithms and some classification algorithms. It is the process of counting the number of occurrences of ...
197
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...