Sciweavers

9521 search results - page 61 / 1905
» Compiling with continuations, continued
Sort
View
101
Voted
RIDE
1998
IEEE
15 years 5 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 5 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
15 years 3 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
15 years 3 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
130
Voted
AML
2010
118views more  AML 2010»
15 years 2 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