13866 search results - page 314 / 2774 » Dynamical Systems Game |
184
Voted
SCAM
2007
IEEE
16 years 29 days ago
2007
IEEE
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...
191
Voted
ALIFE
2005
15 years 6 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
175
click to vote
SCOPES
2007
Springer
16 years 24 days ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
177
click to vote
ADG
2006
Springer
15 years 10 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...