9491 search results - page 110 / 1899 » Modeling Cultural Dynamics |
86
Voted
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— We propose a dynamics model of galvanotaxis (locomotor response to electrical stimulus) of the protozoan Paramecium. Our purpose is to utilize microorganisms as microrobots by ...
96
Voted
GLVLSI
2000
IEEE
15 years 2 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
ICMCS
1996
IEEE
15 years 2 months ago
1996
IEEE
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...
DAC
2010
ACM
15 years 2 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
ESAW
2006
Springer
15 years 1 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...