Sciweavers

1087 search results - page 103 / 218
» Modelling and Implementing Complex Systems with Timebands
Sort
View
137
Voted
ECBS
2011
IEEE
204views Hardware» more  ECBS 2011»
14 years 2 months ago
Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
Matthias Riebisch, Stephan Bode, Qurat-ul-ann Faro...
JMLR
2007
137views more  JMLR 2007»
15 years 2 months ago
Building Blocks for Variational Bayesian Learning of Latent Variable Models
We introduce standardised building blocks designed to be used with variational Bayesian learning. The blocks include Gaussian variables, summation, multiplication, nonlinearity, a...
Tapani Raiko, Harri Valpola, Markus Harva, Juha Ka...
141
Voted
TSE
2011
214views more  TSE 2011»
14 years 9 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
151
Voted
LPNMR
1997
Springer
15 years 6 months ago
Computing Non-Ground Representations of Stable Models
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
Thomas Eiter, James J. Lu, V. S. Subrahmanian
146
Voted
UML
2005
Springer
15 years 8 months ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko