7988 search results - page 245 / 1598 » A Useful Undecidable Theory |
117
click to vote
CHI
2004
ACM
16 years 5 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...
178
click to vote
SIGSOFT
1996
ACM
15 years 8 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...
130
click to vote
AUTOMATICA
2002
15 years 4 months 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...
179
click to vote
IAT
2010
IEEE
15 years 2 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...
142
click to vote
FUIN
2006
15 years 4 months 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...