Sciweavers

1922 search results - page 225 / 385
» Systems biology, models, and concurrency
Sort
View
NIPS
2003
15 years 2 months ago
A Neuromorphic Multi-chip Model of a Disparity Selective Complex Cell
The relative depth of objects causes small shifts in the left and right retinal positions of these objects, called binocular disparity. Here, we describe a neuromorphic implementa...
Eric K. C. Tsang, Bertram Emil Shi
CVIU
2008
203views more  CVIU 2008»
15 years 1 months ago
A computer vision model for visual-object-based attention and eye movements
This paper presents a new computational framework for modelling visual-object based attention and attention-driven eye movements within an integrated system in a biologically insp...
Yaoru Sun, Robert B. Fisher, Fang Wang, Herman Mar...
CVGIP
2006
171views more  CVGIP 2006»
15 years 1 months ago
Breathe easy: Model and control of human respiration for computer animation
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
Victor B. Zordan, Bhrigu Celly, Bill Yuan-chi Chiu...
FORTE
1994
15 years 2 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
SCP
2002
112views more  SCP 2002»
15 years 1 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...