3047 search results - page 290 / 610 » A Temporal Consensus Model |
152
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Intracellular recordings obtained under cutaneous and lemniscal stimulation show that the afferent fibers can establish excitatory and inhibitory synaptic connections w...
159
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
: We present an algorithm for haptic display of moderately complex polygonal models with a six degree of freedom (DOF) force feedback device. We make use of incremental algorithms ...
166
click to vote
APN
2000
Springer
15 years 11 months ago
2000
Springer
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
182
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
188
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...