Sciweavers

908 search results - page 61 / 182
» Generating maximal models using the stable model semantics
Sort
View
DIS
2001
Springer
15 years 9 months ago
Separation of Photoelectrons via Multivariate Maxwellian Mixture Model
Electron velocity distribution obtained by direct spacecraft observation in space is contaminated by photoelectrons. The photoelectrons are generated due to the solar ultraviolet r...
Genta Ueno, Nagatomo Nakamura, Tomoyuki Higuchi
SSPR
2010
Springer
15 years 2 months ago
Non-parametric Mixture Models for Clustering
Mixture models have been widely used for data clustering. However, commonly used mixture models are generally of a parametric form (e.g., mixture of Gaussian distributions or GMM),...
Pavan Kumar Mallapragada, Rong Jin, Anil K. Jain
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 6 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
SAC
2004
ACM
15 years 10 months ago
Multilingual semantic elaboration in the DOSE platform
From the early World Wide Web exploitation until contemporary Semantic Web generation, global communication has become an essential need for many people on the Internet. Globaliza...
Dario Bonino, Fulvio Corno, Laura Farinetti, Andre...
SDL
2007
139views Hardware» more  SDL 2007»
15 years 6 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...