Sciweavers

2829 search results - page 245 / 566
» Regularization Methods for Additive Models
Sort
View
EUROMED
2010
15 years 5 months ago
Photogrammetric Measurement of the Classic Marathon Course
Abstract. In this paper an alternative method for measuring the Classic Marathon Course using photogrammetric methodology is presented and examined. The course is surveyed in stere...
Ino Papageorgaki, Sevi Tapinaki, Andreas Georgopou...
FMCO
2009
Springer
203views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Applying Event-B Atomicity Decomposition to a Multi Media Protocol
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
Asieh Salehi Fathabadi, Michael Butler
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
16 years 1 months ago
Estimation of non-stationary Markov Chain transition models
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
Luca F. Bertuccelli, Jonathan P. How
COLT
2005
Springer
16 years 2 days ago
A PAC-Style Model for Learning from Labeled and Unlabeled Data
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
Maria-Florina Balcan, Avrim Blum
ICWE
2005
Springer
16 years 1 days ago
Adding Usability to Web Engineering Models and Tools
In this paper, we examine how the task of creating usable websites can be made more efficient. Models and generation of websites have been a central issue for Web Engineering over ...
Richard Atterer, Albrecht Schmidt