2702 search results - page 266 / 541 » Practically Applicable Formal Methods |
128
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
115
click to vote
MVA
2007
15 years 4 months ago
2007
This paper deals with a recently proposed nonparametric approach to camera calibration, which is applicable to any type of sensor design. Currently, no relative quantitative perfo...
127
click to vote
ISCI
2008
15 years 2 months ago
2008
This paper describes an evolutionary method for identifying a causal model from the observed time series data. We use a system of ordinary differential equations (ODEs) as the cau...
111
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider Bayesian detection/classification of discrete random parameters that are strongly dependent locally due to some deterministic local constraint. Based on the recently ...
103
click to vote
MMAS
2010
Springer
14 years 9 months ago
2010
Springer
The two-dimensional layout optimization problem reinforced by the efficient space utilization demand has a wide spectrum of practical applications. Formulating the problem as a non...