Sciweavers

3318 search results - page 226 / 664
» The Weak Instance Model
Sort
View
ALT
2004
Springer
15 years 9 months ago
Applications of Regularized Least Squares to Classification Problems
Abstract. We present a survey of recent results concerning the theoretical and empirical performance of algorithms for learning regularized least-squares classifiers. The behavior ...
Nicolò Cesa-Bianchi
JACM
2010
120views more  JACM 2010»
15 years 23 days ago
The structure of inverses in schema mappings
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
Ronald Fagin, Alan Nash
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
16 years 13 days ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
CADE
2007
Springer
16 years 6 months ago
A History-based Verification of Distributed Applications
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
Bruno Langenstein, Andreas Nonnengart, Georg Rock,...
AUSDM
2007
Springer
145views Data Mining» more  AUSDM 2007»
16 years 4 days ago
Temporal Pattern Matching for the Prediction of Stock Prices
Time series data poses a significant variation to the traditional segmentation techniques of data mining because the observation is derived from multiple instances of the same und...
Richi Nayak, Paul te Braak