Sciweavers

276 search results - page 45 / 56
» Querying Temporal Databases Using Controlled Natural Languag...
Sort
View
105
Voted
LREC
2010
258views Education» more  LREC 2010»
15 years 1 months ago
PolNet - Polish WordNet: Data and Tools
This paper presents the PolNet-Polish WordNet project which aims at building a linguistically oriented ontology for Polish compatible with other WordNet projects such as Princeton...
Zygmunt Vetulani, Marek Kubis, Tomasz Obrêbs...
140
Voted
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 8 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
CC
2007
Springer
15 years 6 months ago
A Declarative Framework for Analysis and Optimization
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
Henry Falconer, Paul H. J. Kelly, David M. Ingram,...
102
Voted
JACM
2000
81views more  JACM 2000»
15 years 6 days ago
Relational queries over interpreted structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin
CORR
2006
Springer
143views Education» more  CORR 2006»
15 years 13 days ago
A Knowledge-Based Approach for Selecting Information Sources
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
Thomas Eiter, Michael Fink, Hans Tompits