Sciweavers

2016 search results - page 220 / 404
» Megamaps: Construction and Examples
Sort
View
ICML
2001
IEEE
16 years 7 months ago
Estimating a Kernel Fisher Discriminant in the Presence of Label Noise
Data noise is present in many machine learning problems domains, some of these are well studied but others have received less attention. In this paper we propose an algorithm for ...
Bernhard Schölkopf, Neil D. Lawrence
IJCNN
2008
IEEE
16 years 1 months ago
Support vector machines and dynamic time warping for time series
— Effective use of support vector machines (SVMs) in classification necessitates the appropriate choice of a kernel. Designing problem specific kernels involves the definition...
Steinn Gudmundsson, Thomas Philip Runarsson, Sven ...
CONTEXT
2007
Springer
16 years 24 days ago
Context Modeling: Task Model and Practice Model
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
Patrick Brézillon
FOSSACS
2007
Springer
16 years 24 days ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
MODELS
2007
Springer
16 years 23 days ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...