Sciweavers

1925 search results - page 172 / 385
» Dynamic Typing
Sort
View
FSTTCS
1998
Springer
14 years 1 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
GECCO
2010
Springer
183views Optimization» more  GECCO 2010»
14 years 21 days ago
Benchmarking a MOS-based algorithm on the BBOB-2010 noisy function testbed
In this paper, a hybrid algorithm based on the Multiple Offspring Sampling framework is presented and benchmarked on the BBOB-2010 noisy testbed. MOS allows the seamless combinat...
Antonio LaTorre, Santiago Muelas, José Mar&...
COLING
2008
13 years 10 months ago
An Algorithm for Adverbial Aspect Shift
The paper offers a new type of approach to the semantic phenomenon of adverbial aspect shift within the framework of finitestate temporal semantics. The heart of the proposal is a...
Sabine Gründer
NIPS
2007
13 years 10 months ago
Online Linear Regression and Its Application to Model-Based Reinforcement Learning
We provide a provably efficient algorithm for learning Markov Decision Processes (MDPs) with continuous state and action spaces in the online setting. Specifically, we take a mo...
Alexander L. Strehl, Michael L. Littman
NIPS
2004
13 years 10 months ago
Edge of Chaos Computation in Mixed-Mode VLSI - A Hard Liquid
Computation without stable states is a computing paradigm different from Turing's and has been demonstrated for various types of simulated neural networks. This publication t...
Felix Schürmann, Karlheinz Meier, Johannes Sc...