2909 search results - page 248 / 582 » Consistency of the theory of contexts |
162
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Minimum mean squared error estimates generally are not optimal in terms of a common track error statistic used in tracking benchmarks, namely a form of the Mean Optimal Subpattern...
179
click to vote
DICTA
2003
15 years 8 months ago
2003
This study is a part of a global project on urban scenes interpretation using high resolution satellite images. Actually, the research is focused on buildings and roads are used to...
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many analyses of microarray association studies involve permutation, bootstrap resampling and crossvalidation, that are ideally formulated as embarrassingly parallel c...
169
click to vote
ECAL
2005
Springer
16 years 3 days ago
2005
Springer
An evolutionary reinforcement-learning algorithm, the operation of which was not associated with an optimality condition, was instantiated in an artificial organism. The algorithm ...
185
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...