3515 search results - page 206 / 703 » On the semantics of Strategy Logic |
211
click to vote
GVD
2009
15 years 5 months ago
2009
In this paper, we present the current development progress of our dynamic insert strategy based on the Intelligent Cluster Index (ICIx), which is a new type of multidimensional da...
221
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
211
click to vote
AMAI
2008
Springer
15 years 7 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
202
click to vote
RTAS
2009
IEEE
16 years 2 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
181
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
Ranked shot lists from 39 automated LSCOM-Lite concept classifiers are investigated with respect to 24 TRECVID 2006 topics. Selecting the best fitting concept or pair of concepts ...