Sciweavers

9521 search results - page 61 / 1905
» Compiling with continuations, continued
Sort
View
RIDE
1998
IEEE
15 years 1 months ago
Design of Multi-user Editing Servers for Continuous Media
Based on a fifteen month investigation of a post production facilities for both the entertainment industry and broadcasters, we identified a number of challenges with the design an...
Seon Ho Kim, Shahram Ghandeharizadeh
GECCO
2009
Springer
129views Optimization» more  GECCO 2009»
15 years 1 months ago
Evolutionary functional testing of continuous control systems
Evolutionary functional testing is an approach to automatically generating test cases that violate a certain functional system requirement. This paper proposes an approach suitabl...
Andreas Windisch, Felix Lindlar, Sebastian Topuz, ...
AIML
2004
14 years 11 months ago
On the Formal Structure of Continuous Action
abstract. Analytical investigations of agency are mostly concerned with a description ex post acto. However, continuous action (being doing something) needs to be considered as wel...
Thomas Müller
UAI
2004
14 years 11 months ago
"Ideal Parent" Structure Learning for Continuous Variable Networks
In recent years, there is a growing interest in learning Bayesian networks with continuous variables. Learning the structure of such networks is a computationally expensive proced...
Iftach Nachman, Gal Elidan, Nir Friedman
AML
2010
118views more  AML 2010»
14 years 10 months ago
The modal logic of continuous functions on the rational numbers
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
Philip Kremer