1687 search results - page 178 / 338 » Light Functional Interpretation |
186
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core – ...
154
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
This paper deals with a model of decision– making in two stages. In the first stage from a set of expertises one chooses the most rational ones, while in the second stage one o...
177
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper proposes a multiple instance learning (MIL) algorithm for Gaussian processes (GP). The GP-MIL model inherits two crucial benefits from GP: (i) a principle manner of lea...
157
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...