Sciweavers

5066 search results - page 307 / 1014
» Spectra of structures and relations
Sort
View
ATVA
2005
Springer
80views Hardware» more  ATVA 2005»
16 years 4 days ago
Syntactical Colored Petri Nets Reductions
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
Sami Evangelista, Serge Haddad, Jean-Franço...
MDM
2004
Springer
154views Communications» more  MDM 2004»
15 years 12 months ago
On Bulk Loading TPR-Tree
TPR-tree is a practical index structure for moving object databases. Due to the uniform distribution assumption, TPR-tree’s bulk loading algorithm (TPR) is relatively inefficie...
Bin Lin, Jianwen Su
DICS
2006
15 years 8 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
ECAI
2008
Springer
15 years 8 months ago
An Analysis of Bayesian Network Model-Approximation Techniques
Abstract. Two approaches have been used to perform approximate inference in Bayesian networks for which exact inference is infeasible: employing an approximation algorithm, or appr...
Adamo Santana, Gregory M. Provan
ERCIMDL
2008
Springer
101views Education» more  ERCIMDL 2008»
15 years 8 months ago
Semantic Interoperability in Archaeological Datasets: Data Mapping and Extraction Via the CIDOC CRM
Findings from a data mapping and extraction exercise undertaken as part of the STAR project are described and related to recent work in the area. The exercise was undertaken in con...
Ceri Binding, Keith May, Douglas Tudhope