3515 search results - page 327 / 703 » On the semantics of Strategy Logic |
189
click to vote
TACAS
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
194
click to vote
ACL
1994
15 years 9 months ago
1994
Semantic feedback is an important source of information that a parser could use to deal with local ambiguities in syntax. However, it is difficult to devise a systematic communica...
215
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, a region-based spatio-temporal Markov random field (STMRF) model is proposed to segment moving objects semantically. The STMRF model combines segmentation results o...
214
click to vote
AIIA
2007
Springer
16 years 1 months ago
2007
Springer
We present a simple, two-steps supervised strategy for the identification and classification of thematic roles in natural language texts. We employ no external source of informat...
190
click to vote
MMM
1998
Springer
15 years 12 months ago
1998
Springer
Content-based indexing and retrieval of images and video requires a proper semantic description for image content. This paper discusses the mapping of high-level, application-spec...