1686 search results - page 258 / 338 » Programs as polygraphs: computability and complexity |
119
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
145
Voted
CI
2000
15 years 20 days ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
115
click to vote
MA
1999
Springer
15 years 5 months ago
1999
Springer
Hive is a distributed agents platform, a decentralized system for building applications by networking local system resources. This paper presents the architecture of Hive, concent...
112
Voted
BMCBI
2005
15 years 22 days ago
2005
Background: BLAST is a widely used genetic research tool for analysis of similarity between nucleotide and protein sequences. This paper presents a software application entitled &...
110
Voted
CVPR
2007
IEEE
15 years 7 months ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...