Sciweavers

10061 search results - page 519 / 2013
» Statistical Models of Conditioning
Sort
View
JSYML
2007
62views more  JSYML 2007»
15 years 7 months ago
A reduction of the NF consistency problem
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
Athanassios Tzouvaras
SSDBM
2006
IEEE
140views Database» more  SSDBM 2006»
16 years 1 months ago
A Dynamic Mobility Histogram Construction Method Based on Markov Chains
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...
Yoshiharu Ishikawa, Yoji Machida, Hiroyuki Kitagaw...
GECCO
2005
Springer
103views Optimization» more  GECCO 2005»
16 years 17 days ago
Validation of evolutionary activity metrics for long-term evolutionary dynamics
As artificial life systems grow in number and sophistication, it is becoming increasingly important that the field agree on principled metrics for evaluating them. This report d...
Andrew Stout, Lee Spector
WSC
2000
15 years 8 months ago
Simulation output analysis via dynamic batch means
This paper is focused on estimating the quality of the sample mean from a steady-state simulation experiment with consideration of computational efficiency, memory requirement, an...
Yingchieh Yeh, Bruce W. Schmeiser
IJCV
2008
139views more  IJCV 2008»
15 years 7 months ago
Multilevel Image Coding with Hyperfeatures
Histograms of local appearance descriptors are a popular representation for visual recognition. They are highly discriminant with good resistance to local occlusions and to geomet...
Ankur Agarwal, Bill Triggs