2136 search results - page 189 / 428 » A Game-Theoretic Operational Semantics |
104
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
This paper discusses differences in the semantics of various semaphore implementations and their ramifications in developing solutions to synchronization problems. An approach is ...
147
click to vote
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
158
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
This study describes experiments on automatic detection of semantic concepts, which are textual descriptions about the digital video content. The concepts can be further used in c...
136
Voted
DASFAA
2004
IEEE
15 years 7 months ago
2004
IEEE
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow intelligent agents to automatically identify these Web...
124
Voted
DLS
2008
15 years 5 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...