Sciweavers

4961 search results - page 202 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
104
Voted
APN
2007
Springer
15 years 9 months ago
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
In this paper we develop a theory for the region-based synthesis of system models given as place/transition-nets with weighted inhibitor arcs (ptinets) from sets of scenarios descr...
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
ITNG
2006
IEEE
15 years 9 months ago
Utilizing XML Schema for Describing and Querying Still Image Databases
In this paper, still images are modeled by hierarchical tree structures and object relational graphs. These modeling concepts can be described naturally using XML schema. We intro...
Kazem Taghva, Min Xu, Emma Regentova, Tom Nartker
ATVA
2005
Springer
80views Hardware» more  ATVA 2005»
15 years 9 months 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...
108
Voted
MDM
2004
Springer
154views Communications» more  MDM 2004»
15 years 8 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
102
Voted
ISCI
2010
100views more  ISCI 2010»
15 years 1 months ago
Filters of residuated lattices and triangle algebras
An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to...
Bart Van Gasse, Glad Deschrijver, Chris Cornelis, ...