1364 search results - page 198 / 273 » Comparative Branching-Time Semantics |
143
click to vote
INEX
2009
Springer
15 years 8 months ago
2009
Springer
This paper gives an overview of the INEX 2009 Ad Hoc Track. The main goals of the Ad Hoc Track were three-fold. The first goal was to investigate the impact of the collection scal...
129
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
156
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
This paper addresses the problem of categorizing terms or lexical entities into a predefined set of semantic domains exploiting the knowledge available on-line in the Web. The prop...
125
click to vote
WEBDB
2000
Springer
15 years 7 months ago
2000
Springer
The growth of the Internet has made it possible to query data in all corners of the globe. This trend is being abetted by the emergence of standards for data representation, such ...
156
click to vote
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...