1054 search results - page 116 / 211 » Guarded Expressions in Practice |
203
click to vote
JMLR
2010
15 years 25 days ago
2010
We describe a novel inference algorithm for sparse Bayesian PCA with a zero-norm prior on the model parameters. Bayesian inference is very challenging in probabilistic models of t...
153
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
297
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
151
click to vote
CSCW
2010
ACM
16 years 2 months ago
2010
ACM
Video-mediated communication (VMC) technologies are becoming rapidly adopted by home users. Little research has previously been conducted into why home users would choose to use V...
144
click to vote
KBSE
2008
IEEE
16 years 13 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...