Sciweavers

1960 search results - page 220 / 392
» The Logic of Large Enough
Sort
View
IADIS
2008
14 years 5 days ago
Towards Mining for Influence in a Multi Agent Environment
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...
Robert Logie, Jon G. Hall, Kevin G. Waugh
MICRO
2006
IEEE
88views Hardware» more  MICRO 2006»
13 years 10 months ago
SWICH: A Prototype for Efficient Cache-Level Checkpointing and Rollback
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...
Radu Teodorescu, Jun Nakano, Josep Torrellas
AAI
2000
138views more  AAI 2000»
13 years 10 months ago
Compositional Design and Reuse of a Generic Agent Model
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 ...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...
VIS
2004
IEEE
153views Visualization» more  VIS 2004»
14 years 12 months ago
Anisotropic Volume Rendering for Extremely Dense, Thin Line Data
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 ...
Gregory L. Schussman, Kwan-Liu Ma
POPL
2008
ACM
14 years 11 months ago
Engineering formal metatheory
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...
Arthur Charguéraud, Benjamin C. Pierce, Bri...