Sciweavers

9370 search results - page 395 / 1874
» An Abstract Notion of Application
Sort
View
FSKD
2005
Springer
141views Fuzzy Logic» more  FSKD 2005»
16 years 12 days ago
Spatial Homogeneity-Based Fuzzy c-Means Algorithm for Image Segmentation
Abstract. A fuzzy c-means algorithm incorporating the notion of dominant colors and spatial homogeneity is proposed for the color clustering problem. The proposed algorithm extract...
Bo-Yeong Kang, Dae-Won Kim, Qing Li
HYBRID
2005
Springer
16 years 12 days ago
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
Stefan Strubbe, A. J. van der Schaft
ICDT
2005
ACM
116views Database» more  ICDT 2005»
16 years 12 days ago
The Design Space of Type Checkers for XML Transformation Languages
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
Anders Møller, Michael I. Schwartzbach
ICTAC
2005
Springer
16 years 12 days ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
LCTRTS
2005
Springer
16 years 12 days ago
Transparent distribution of real-time components based on logical execution time
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
Emilia Farcas, Claudiu Farcas, Wolfgang Pree, Jose...