7988 search results - page 368 / 1598 » A Useful Undecidable Theory |
182
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: As the canonical code is not universal, different theories about its origin and organization have appeared. The optimization or level of adaptation of the canonical ge...
188
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
168
click to vote
DSS
2008
15 years 6 months ago
2008
This study investigates the effect gender has on the use of computer-based feedback and the impact that this feedback has on mood. The decision making process of men and women are...
230
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
187
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...