Sciweavers

1033 search results - page 135 / 207
» Properties of Exercise Strategies
Sort
View
ATAL
2005
Springer
15 years 9 months ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...
ACMICEC
2007
ACM
115views ECommerce» more  ACMICEC 2007»
15 years 8 months ago
An economic model of portal competition under privacy concerns
Due to inherent privacy concerns, online personalization services such as those offered through toolbars and desktop widgets are characterized by "no-free-disposal" (NFD...
Ramnath K. Chellappa, Raymond G. Sin
CF
2005
ACM
15 years 6 months ago
Grid result checking
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
Cécile Germain-Renaud, Dephine Monnier-Raga...
AUSFORENSICS
2004
15 years 5 months ago
Electronic Crime - its not only the big end of town that should be worried
The permeation of technology into our daily lives has resulted in new types of criminal activity and new ways of committing old crimes. As with traditional crime, fundamental to t...
Mathew Hannan, Barry Blundell
CGF
2010
143views more  CGF 2010»
15 years 4 months ago
Coherent Culling and Shading for Large Molecular Dynamics Visualization
Molecular dynamics simulations are a principal tool for studying molecular systems. Such simulations are used to investigate molecular structure, dynamics, and thermodynamical pro...
Sebastian Grottel, Guido Reina, Carsten Dachsbache...