3515 search results - page 543 / 703 » On the semantics of Strategy Logic |
213
click to vote
CCGRID
2006
IEEE
16 years 1 months ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
176
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
195
click to vote
WCRE
2006
IEEE
16 years 1 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
163
click to vote
ENC
2005
IEEE
16 years 26 days ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
172
click to vote
KCAP
2005
ACM
16 years 25 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...