Sciweavers

263 search results - page 9 / 53
» A unifying action calculus
Sort
View
ECAI
2004
Springer
14 years 27 days ago
Indirect and Conditional Sensing in the Event Calculus
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
Jeremy Forth, Murray Shanahan
ICPP
1993
IEEE
13 years 11 months ago
A Unified Model for Concurrent Debugging
: Events are occurrence instances of actions. The thesis of this paper is that the use of “actions”, instead of events, greatly simplifies the problem of concurrent debugging....
S. I. Hyder, John Werth, James C. Browne
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
14 years 1 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
CVIU
2008
207views more  CVIU 2008»
13 years 7 months ago
A differential geometric approach to representing the human actions
This paper presents a novel representation for human actions which encodes the variations in the shape and motion of the performing actor. When an actor performs an action, at eac...
Alper Yilmaz, Mubarak Shah
IDA
2009
Springer
13 years 5 months ago
Spike Detection and Sorting: Combining Algebraic Differentiations with ICA
A new method for action potentials detection is proposed. The method is based on a numerical differentiation, as recently introduced from operational calculus. We show that it has ...
Zoran Tiganj, Mamadou Mboup