4698 search results - page 328 / 940 » Making Functionality More General |
176
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
148
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
150
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Indee...
165
click to vote
MMM
2003
Springer
15 years 10 months ago
2003
Springer
Computer animation is one of the key components of a multimedia document or presentation. Shape transformation between objects of different topology and positions is an open model...
153
click to vote
ACMSE
2007
ACM
15 years 8 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...