7988 search results - page 245 / 1598 » A Useful Undecidable Theory |
CHI
2004
ACM
16 years 1 months ago
2004
ACM
Online communities can help people form productive relationships. Unfortunately, this potential is not always fulfilled: many communities fail, and designers don't have a sol...
151
Voted
SIGSOFT
1996
ACM
15 years 4 months ago
1996
ACM
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...
97
Voted
AUTOMATICA
2002
15 years 18 days ago
2002
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
138
Voted
IAT
2010
IEEE
14 years 10 months ago
2010
IEEE
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...
108
Voted
FUIN
2006
15 years 22 days ago
2006
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...