Sciweavers

6042 search results - page 126 / 1209
» Repeated Observation Models
Sort
View
FASE
2011
Springer
14 years 8 months ago
Type-Safe Evolution of Spreadsheets
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
Jácome Cunha, Joost Visser, Tiago L. Alves,...
RTCSA
2006
IEEE
15 years 10 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
ICIP
2009
IEEE
16 years 5 months ago
Edge-preserving Nonlinear Iterative Image Resampling Method
In this paper, an edge-preserving nonlinear iterative regularization-based image resampling method for a single noise-free image is proposed. Several aspects of the resampling alg...
UAI
1997
15 years 5 months ago
Score and Information for Recursive Exponential Models with Incomplete Data
Recursive graphical models usually underlie the statistical modelling concerning probabilistic expert systems based on Bayesian networks. This paper de nes a version of these mode...
Bo Thiesson
POPL
2012
ACM
14 years 12 hour ago
Sound predictive race detection in polynomial time
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski,...