3440 search results - page 618 / 688 » Logics For Context-Free Languages |
156
click to vote
PKDD
2009
Springer
16 years 28 days ago
2009
Springer
Web searches tend to be short and ambiguous. It is therefore not surprising that Web query disambiguation is an actively researched topic. To provide a personalized experience for ...
160
click to vote
RR
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
169
click to vote
RTA
2009
Springer
16 years 27 days ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
182
click to vote
SEMWEB
2009
Springer
16 years 27 days ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
171
click to vote
TAP
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...