Sciweavers

7504 search results - page 381 / 1501
» Computing with Action Potentials
Sort
View
178
Voted
CONCUR
2005
Springer
16 years 1 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
250
Voted
BIRTHDAY
2004
Springer
16 years 27 days 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
185
Voted
ICTAI
2003
IEEE
16 years 23 days 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
16 years 18 days 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
16 years 18 days 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