Sciweavers

7504 search results - page 171 / 1501
» Computing with Action Potentials
Sort
View
CONCUR
2005
Springer
14 years 1 months ago
Transactions in RCCS
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
Vincent Danos, Jean Krivine
MIC
2003
114views Control Systems» more  MIC 2003»
13 years 9 months ago
Synchronization Analysis of Nonlinear Oscillators
The possibilities of studying nonlinear physical systems by small feedback action are discussed. Analytical bounds of possible system energy change by feedback are established. Th...
Alexander L. Fradkov, Boris R. Andrievsky
CVIU
2008
109views more  CVIU 2008»
13 years 8 months ago
Performance vs computational efficiency for optimizing single and dynamic MRFs: Setting the state of the art with primal-dual st
In this paper we introduce a novel method to address minimization of static and dynamic MRFs. Our approach is based on principles from linear programming and, in particular, on pr...
Nikos Komodakis, Georgios Tziritas, Nikos Paragios
CA
2002
IEEE
14 years 1 months ago
Representing and Parameterizing Agent Behaviors
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
Norman I. Badler, Jan M. Allbeck, Liwei Zhao, Meer...
ACII
2011
Springer
12 years 8 months ago
Toward a Computational Framework of Suspense and Dramatic Arc
We propose a computational framework for the recognition of suspense and dramatic arc in stories. Suspense is an affective response to narrative structure that accompanies the redu...
Brian O'Neill, Mark Riedl