1192 search results - page 191 / 239 » Symbolic Query Exploration |
121
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
Moments before the launch of every space vehicle, engineering discipline specialists must make a critical go/no-go decision. The cost of a false positive, allowing a launch in spi...
131
click to vote
PODS
2004
ACM
16 years 2 months ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
111
click to vote
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a secondorder tgd (SO tgd). We consider the question of...
132
click to vote
CADE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
156
Voted
EUROSSC
2009
Springer
15 years 8 months ago
2009
Springer
Geographical information retrieval (GIR) can benefit from context information to adapt the results to a user’s current situation and personal preferences. In this respect, seman...