Sciweavers

3406 search results - page 522 / 682
» Computational models of classical conditioning
Sort
View
ECRTS
2000
IEEE
15 years 9 months ago
Tolerating faults while maximizing reward
The imprecise computation(IC) model is a general scheduling framework, capable of expressing the precision vs. timeliness trade-off involved in many current real-time applications...
Hakan Aydin, Rami G. Melhem, Daniel Mossé
GRAPHICSINTERFACE
2001
15 years 5 months ago
Corrosion: Simulating and Rendering
Weathering phenomena represent a topic of growing interest in computer graphics, and corrosion reactions are of great importance since they affect a large number of different fiel...
Stéphane Mérillou, Jean-Michel Disch...
ENTCS
2006
134views more  ENTCS 2006»
15 years 4 months ago
Partial Order Reduction for Probabilistic Branching Time
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
Christel Baier, Pedro R. D'Argenio, Marcus Grö...
FS
2006
84views more  FS 2006»
15 years 4 months ago
Iterative construction of the optimal Bermudan stopping time
Abstract. We present an iterative procedure for computing the optimal Bermudan stopping time, hence the Bermudan Snell envelope. The method produces an increasing sequence of appro...
Anastasia Kolodko, John Schoenmakers
TSP
2008
178views more  TSP 2008»
15 years 4 months ago
Extended Object Tracking Using Monte Carlo Methods
Abstract-- This paper addresses the problem of tracking extended objects, such as ships or a convoy of vehicles moving in urban environment. Two Monte Carlo techniques for extended...
Donka S. Angelova, Lyudmila Mihaylova