507 search results - page 79 / 102 » Automating first-order relational logic |
152
Voted
CADE
2009
Springer
16 years 22 days ago
2009
Springer
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...
162
Voted
CSL
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
152
Voted
EKAW
1999
Springer
15 years 10 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
165
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
138
Voted
DLOG
2003
15 years 7 months ago
2003
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...