Sciweavers

3483 search results - page 87 / 697
» Forward
Sort
View
AIPS
2009
15 years 4 months ago
Extending the Use of Inference in Temporal Planning as Forwards Search
PDDL2.1 supports modelling of complex temporal planning domains in which solutions must exploit concurrency. Few existing temporal planners can solve problems that require concurr...
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek ...
90
Voted
CONCUR
2010
Springer
15 years 4 months ago
Generic Forward and Backward Simulations II: Probabilistic Simulation
Jonsson and Larsen's notion of probabilistic simulation is studied from a coalgebraic perspective. The notion is compared with two generic coalgebraic definitions of simulatio...
Ichiro Hasuo
119
Voted
ICASSP
2010
IEEE
15 years 3 months ago
A practical forwarding scheme for wireless relay channels based on the quantization of log-likelihood ratios
This paper considers a wireless relay network with one source, one relay, and one destination. We propose a low-complexity quantize-and-forward (QF) scheme in which the relay calc...
Stefan Schwandter, Gerald Matz
92
Voted
HAIS
2010
Springer
15 years 3 months ago
An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning
Stefano Bragaglia, Federico Chesani, Anna Ciampoli...
100
Voted
AROBOTS
2010
88views more  AROBOTS 2010»
15 years 3 months ago
Using efference copy and a forward internal model for adaptive biped walking
Johannes Schröder-Schetelig, Poramate Manoonp...