64 search results - page 10 / 13 » The Periodic-Linear Model of Program Behavior Capture |
BIOINFORMATICS
1999
13 years 10 months ago
1999
Summary: The Genetic Simulation Library (GSL) is a set of C++ programs and classes that can be used in individualbased simulation models of plant and animal populations. The class...
DBPL
2003
Springer
14 years 4 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
ACSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— A number of conceptually simple but behaviorrich “inverted pendulum” humanoid models have greatly enhanced the understanding and analytical insight of humanoid dyna...