620 search results - page 106 / 124 » Decidability Problems for Actor Systems |
76
Voted
AAAI
2007
14 years 12 months ago
2007
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...
107
Voted
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Over the past few years, swarm based systems have emerged as an attractive paradigm for building large scale distributed systems composed of numerous independent but coordinating ...
190
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
One of the most challenging aspects of managing a very large data warehouse is identifying how queries will behave before they start executing. Yet knowing their performance charac...
PODC
1999
ACM
15 years 1 months ago
1999
ACM
We study the memory requirements of self-stabilizing leader election (SSLE) protocols. We are mainly interested in two types of systems: anonymous systems and id-based systems. We...
LOGCOM
2008
14 years 9 months ago
2008
Question Answering (QA) is a task that deserves more collaboration between Natural Language Processing (NLP) and Knowledge Representation (KR) communities, not only to introduce r...