983 search results - page 60 / 197 » Continuous Queries in Oracle |
127
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
179
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
181
click to vote
STOC
2012
ACM
13 years 6 months ago
2012
ACM
We consider submodular optimization problems, and provide a general way of translating oracle inapproximability results arising from the symmetry gap technique to computational co...
241
click to vote
VSTTE
2012
Springer
13 years 11 months ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
166
Voted
ISPAN
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is...