1638 search results - page 149 / 328 » A General Semantics for Evaluation Logic |
159
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
180
click to vote
ICMCS
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper presents the semantic pathfinder architecture for generic indexing of video archives. The pathfinder automatically extracts semantic concepts from video based on the ...
202
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
This paper proposes a data mining approach to modeling relationships among categories in image collection. In our approach, with image feature grouping, a visual dictionary is cre...
191
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
154
click to vote
ER
2007
Springer
16 years 20 days ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...