Sciweavers

2100 search results - page 223 / 420
» Relational Topographic Maps
Sort
View
FOSSACS
2004
Springer
15 years 10 months ago
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
Pablo Giambiagi, Gerardo Schneider, Frank D. Valen...
EMSOFT
2006
Springer
15 years 10 months ago
A timing model for synchronous language implementations in simulink
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
Timothy Bourke, Arcot Sowmya
IDMS
2000
Springer
138views Multimedia» more  IDMS 2000»
15 years 10 months ago
Middleware Support for Media Streaming Establishment Driven by User-Oriented QoS Requirements
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
Cristian Hesselman, Ing Widya, Aart van Halteren, ...
ATAL
2008
Springer
15 years 8 months ago
Autonomous transfer for reinforcement learning
Recent work in transfer learning has succeeded in making reinforcement learning algorithms more efficient by incorporating knowledge from previous tasks. However, such methods typ...
Matthew E. Taylor, Gregory Kuhlmann, Peter Stone
ATAL
2008
Springer
15 years 8 months ago
Autonomous geocaching: navigation and goal finding in outdoor domains
This paper describes an autonomous robot system designed to solve the challenging task of geocaching. Geocaching involves locating a goal object in an outdoor environment given on...
James Neufeld, Michael Sokolsky, Jason Roberts, Ad...