Sciweavers

2949 search results - page 229 / 590
» Universal Sparse Modeling
Sort
View
63
Voted
CORR
2010
Springer
53views Education» more  CORR 2010»
15 years 4 months ago
Prequential Plug-In Codes that Achieve Optimal Redundancy Rates even if the Model is Wrong
We analyse the prequential plug-in codes relative to one-parameter exponential families M. We show that if data are sampled i.i.d. from some distribution outside M, then the redund...
Peter Grünwald, Wojciech Kotlowski
164
Voted
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 1 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
112
Voted
ISPW
2007
IEEE
15 years 10 months ago
Coping with the Cone of Uncertainty: An Empirical Study of the SAIV Process Model
There is large uncertainty with the software cost in the early stages of software development due to requirement volatility, incomplete understanding of product domain, reuse oppor...
Da Yang, Barry W. Boehm, Ye Yang, Qing Wang, Mings...
CONCUR
2007
Springer
15 years 10 months ago
Coalgebraic Models for Reactive Systems
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
Filippo Bonchi, Ugo Montanari
IV
2002
IEEE
162views Visualization» more  IV 2002»
15 years 8 months ago
Infoticles: Information Modeling in Immersive Environments
This paper introduces an immersive virtual reality application that allows users to browse and explore the contents of database systems. We have implemented a visualization metaph...
Andrew Vande Moere