Sciweavers

9521 search results - page 375 / 1905
» Compiling with continuations, continued
Sort
View
ISORC
2009
IEEE
15 years 11 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
ATAL
2009
Springer
15 years 11 months ago
Stronger CDA strategies through empirical game-theoretic analysis and reinforcement learning
We present a general methodology to automate the search for equilibrium strategies in games derived from computational experimentation. Our approach interleaves empirical game-the...
L. Julian Schvartzman, Michael P. Wellman
COCO
2009
Springer
106views Algorithms» more  COCO 2009»
15 years 11 months ago
Increasing the Gap between Descriptional Complexity and Algorithmic Probability
The coding theorem is a fundamental result of algorithmic information theory. A well known theorem of G´acs shows that the analog of the coding theorem fails for continuous sample...
Adam R. Day
PREMI
2009
Springer
15 years 11 months ago
Unsupervised Color Image Segmentation Using Compound Markov Random Field Model
Abstract. In this paper, we propose an unsupervised color image segmentation scheme using homotopy continuation method and Compound Markov Random Field (CMRF) model. The proposed s...
Sucheta Panda, P. K. Nanda
ASIAMS
2008
IEEE
15 years 11 months ago
Data Reduction and Ensemble Classifiers in Intrusion Detection
Efficiency is one of the major issues in intrusion detection. Inefficiency is often attributed to high overhead and this is caused by several reasons. Among them are continuous de...
Anazida Zainal, Mohd Aizaini Maarof, Siti Mariyam ...