1024 search results - page 35 / 205 » Compositional Methods for Probabilistic Systems |
138
click to vote
PAKDD
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes a novel anomaly detection system for spacecrafts based on data mining techniques. It constructs a nonlinear probabilistic model w.r.t. behavior of a spacecraft ...
145
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
130
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
127
click to vote
UIST
1998
ACM
15 years 9 months ago
1998
ACM
We propose a new pen-based text input method, which is an integration of software keyboards, handwriting recognition, and marking menus. With our method, a user selects a word fro...
127
Voted
ICAD
2004
15 years 6 months ago
2004
We describe a software system which enables computergenerated soundscapes to be synthesised, spatialised and edited using a gestural interface. Iterative design and testing of the...