9989 search results - page 116 / 1998 » A CLP Approach to Modelling Systems |
147
Voted
ICCSA
2010
Springer
15 years 1 months ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
134
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
134
click to vote
MCSS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We give a further elaboration of the fundamental connections between Lax-Phillips scattering, conservative input/state/output linear systems and Sz.-Nagy-Foias model theo...
158
click to vote
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
149
click to vote
NIPS
2007
15 years 5 months ago
2007
Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...