5499 search results - page 337 / 1100 » Generalized Rewrite Theories |
191
click to vote
FOSSACS
2004
Springer
16 years 26 days ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
163
click to vote
ATAL
2003
Springer
16 years 22 days ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
216
Voted
CCS
2003
ACM
16 years 22 days ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
183
click to vote
CSEE
2003
Springer
16 years 22 days ago
2003
Springer
Many software engineering courses include all-term projects to convey principles relating to large-scale multi-person development. But even such projects will easily be too small ...
215
Voted
SIGECOM
2010
ACM
16 years 9 days ago
2010
ACM
We analyze the complexity of computing pure strategy Nash equilibria (PSNE) in symmetric games with a fixed number of actions. We restrict ourselves to “compact” representati...