Sciweavers

2556 search results - page 284 / 512
» The Triconnected Abstraction of Process Models
Sort
View
CALCO
2009
Springer
115views Mathematics» more  CALCO 2009»
16 years 1 months ago
Relating Coalgebraic Notions of Bisimulation
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
Sam Staton
ICNSC
2007
IEEE
16 years 1 months ago
Analysis of a Simple Feedback Scheme for Error Correction over a Lossy Network
Abstract— In time varying packet-switched networks, delivering data with high reliability using a limited amount of network resources is highly desirable. To capture the trade-of...
Oscar Flardh, Carlo Fischione, Karl Henrik Johanss...
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
16 years 1 months ago
The Cost of Reality: Effects of Real-World Factors on Multi-Robot Search
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...
Jim Pugh, Alcherio Martinoli
TNC
2004
132views Education» more  TNC 2004»
15 years 8 months ago
Distributed Encoding Environment based on Grids and IBP Infrastructure
This paper introduces an environment for distributed video transcoding based on Grid computing infrastructure and Internet Backplane Protocol storage infrastructure. A model for s...
Petr Holub, Lukás Hejtmánek
CONNECTION
2010
144views more  CONNECTION 2010»
15 years 4 months ago
The roles of the amygdala in the affective regulation of body, brain, and behaviour
Abstract. Despite the great amount of knowledge produced by the neuroscientific literature affective phenomena, current models tackling noncognitive aspects of behavior are often b...
Marco Mirolli, Francesco Mannella, Gianluca Baldas...