Sciweavers

2016 search results - page 72 / 404
» Some observations on HC-128
Sort
View
AIPS
2009
14 years 8 days ago
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners
Finite-state and memoryless controllers are simple action selection mechanisms widely used in domains such as videogames and mobile robotics. Memoryless controllers stand for func...
Blai Bonet, Héctor Palacios, Hector Geffner
AUTOMATICA
2007
179views more  AUTOMATICA 2007»
13 years 11 months ago
Approximate bisimulation relations for constrained linear systems
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
Antoine Girard, George J. Pappas
CTW
2008
85views more  CTW 2008»
13 years 11 months ago
Debriefing surgeons on non-technical skills (NOTSS)
Abstract Surgical trainees must maximise the educational and developmental opportunities of time spent in the operating theatre. Post-operative debriefing on performance based on o...
S. Yule, R. Flin, N. Maran, G. Youngson, A. Mitche...
ENTCS
2010
96views more  ENTCS 2010»
13 years 11 months ago
Optimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
Daniel Hausmann, Lutz Schröder
DM
2008
81views more  DM 2008»
13 years 11 months ago
The diameter of protean graphs
Abstract. The web graph is a real-world self-organizing network whose vertices correspond to web pages, and whose edges correspond to links between pages. Many stochastic models fo...
Pawel Pralat