Sciweavers

5550 search results - page 74 / 1110
» Different Approaches to Proof Systems
Sort
View
JMIV
2007
98views more  JMIV 2007»
15 years 6 months ago
A Bilinear Approach to the Parameter Estimation of a General Heteroscedastic Linear System, with Application to Conic Fitting
: In this paper, we study the parameter estimation problem in a general heteroscedastic linear system, by putting the problem in the framework of the bilinear approach to low-rank ...
Pei Chen, David Suter
ICWL
2005
Springer
15 years 11 months ago
Building Learning Management Systems Using IMS Standards: Architecture of a Manifest Driven Approach
Among the existing web-based Learning Management Systems (LMSs), there is an exponentially increasing need of content interoperability. This has caused the apparition of different ...
José Luis Sierra, Pablo Moreno-Ger, Iv&aacu...
DESRIST
2009
Springer
153views Education» more  DESRIST 2009»
15 years 4 months ago
An approach for designing management support systems: the design science research process and its outcomes
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
Sven A. Carlsson, Stefan Henningsson, Stefan Hrast...
AUTOMATICA
2010
167views more  AUTOMATICA 2010»
15 years 6 months ago
A new kernel-based approach for linear system identification
This paper describes a new kernel-based approach for linear system identification of stable systems. We model the impulse response as the realization of a Gaussian process whose s...
Gianluigi Pillonetto, Giuseppe De Nicolao
ACSAC
2009
IEEE
15 years 10 months ago
Justifying Integrity Using a Virtual Machine Verifier
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
Joshua Schiffman, Thomas Moyer, Christopher Shal, ...