1715 search results - page 189 / 343 » How Space Structures Language |
123
click to vote
LISP
2008
15 years 3 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
128
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
122
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
119
Voted
DOCENG
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we discuss how to present the result of searching elements of any type from XML documents relevant to some information need (relevance-oriented search). As the resu...
136
click to vote
ACL
2008
15 years 4 months ago
2008
In this paper, we describe a system by which the multilingual characteristics of Wikipedia can be utilized to annotate a large corpus of text with Named Entity Recognition (NER) t...