4507 search results - page 406 / 902 » Generalized Binet dynamics |
230
click to vote
AB
2007
Springer
16 years 29 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
172
click to vote
INFOCOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— Emerging network applications tend to be built over heterogeneous network resources spanning multiple management domains. Many such applications have dynamic demands for dedica...
215
click to vote
EMSOFT
2004
Springer
16 years 5 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
219
click to vote
NEUROSCIENCE
2001
Springer
15 years 11 months ago
2001
Springer
During odour recognition, excitatory and inhibitory groups of neurons in the second stage of the locust olfactory system, the antennal lobe (AL), fire alternately. There is little...
193
click to vote
VISUALIZATION
1991
IEEE
15 years 10 months ago
1991
IEEE
We describe a software system, TOPO, that numerically analyzes and graphically displays topological aspects of a three dimensional vector field, v, to produce a single, relativel...