1960 search results - page 220 / 392 » The Logic of Large Enough |
IADIS
2008
14 years 5 days ago
2008
Multi agent learning systems pose an interesting set of problems: in large environments agents may develop localised behaviour patterns that are not necessarily optimal; in a pure...
MICRO
2006
IEEE
13 years 10 months ago
2006
IEEE
Low-overhead checkpointing and rollback is a popular technique for fault recovery. While different approaches are possible, hardware-supported checkpointing and rollback at the ca...
AAI
2000
13 years 10 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
VIS
2004
IEEE
14 years 12 months ago
2004
IEEE
Many large scale physics-based simulations which take place on PC clusters or supercomputers produce huge amounts of data including vector fields. While these vector data such as ...
POPL
2008
ACM
14 years 11 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...