Sciweavers

9974 search results - page 1471 / 1995
» Software Interconnection Models
Sort
View
HRI
2009
ACM
16 years 1 months ago
Probo: a testbed for human robot interaction
The concept of the huggable robot Probo is a result of the desire to improve the living conditions of children in hospital environment. These children need distraction and lots of...
Kristof Goris, Jelle Saldien, Dirk Lefeber
ARC
2009
Springer
175views Hardware» more  ARC 2009»
16 years 1 months ago
A Hardware Accelerated Simulation Environment for Spiking Neural Networks
Spiking Neural Networks (SNNs) model the biological functions of the human brain enabling neuro/computer scientists to investigate how arrays of neurons can be used to solve comput...
Brendan P. Glackin, Jim Harkin, T. Martin McGinnit...
FOSSACS
2009
Springer
16 years 1 months ago
Full Abstraction for Reduced ML
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
Andrzej S. Murawski, Nikos Tzevelekos
FOSSACS
2009
Springer
16 years 1 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
ACISICIS
2008
IEEE
16 years 1 months ago
Developing Accessible Applications with User-Centered Architecture
Design of accessible applications is often a challenge for software architects and developers. Development usually starts with structure and functionality of the planned applicati...
Sabina Jeschke, Helmut Vieritz, Olivier Pfeiffer
« Prev « First page 1471 / 1995 Last » Next »