Sciweavers

7504 search results - page 381 / 1501
» Computing with Action Potentials
Sort
View
CONCUR
2005
Springer
15 years 10 months ago
A Theory of System Behaviour in the Presence of Node and Link Failures
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
Adrian Francalanza, Matthew Hennessy
BIRTHDAY
2004
Springer
15 years 10 months ago
Retracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
Stephen D. Brookes
ICTAI
2003
IEEE
15 years 10 months ago
S-MEP: A Planner for Numeric Goals
Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems ...
Javier Sanchez, Amol Dattatraya Mali
ICCSA
2010
Springer
15 years 10 months ago
Geospatial Analysis of Cooperative Works on Asymmetric Information Environment
In the so-called Information-Explosion Era, astronomical amount of information is ubiquitously produced and digitally stored. It is getting more and more convenient for cooperative...
Tetsuya Kusuda, Tetsuro Ogi
PERVASIVE
2010
Springer
15 years 10 months ago
Active Capacitive Sensing: Exploring a New Wearable Sensing Modality for Activity Recognition
Abstract. The paper describes the concept, implementation, and evaluation of a new on-body capacitive sensing approach to derive activity related information. Using conductive text...
Jingyuan Cheng, Oliver Amft, Paul Lukowicz