6413 search results - page 637 / 1283 » Classes of cycle bases |
237
click to vote
ICDE
2011
IEEE
14 years 11 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
299
click to vote
DOCENG
2011
ACM
14 years 7 months ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
248
click to vote
JMLR
2012
13 years 10 months ago
2012
We study the prevalent problem when a test distribution differs from the training distribution. We consider a setting where our training set consists of a small number of sample d...
232
click to vote
ICDT
2012
ACM
13 years 10 months ago
2012
ACM
We introduce a representation system for relational data based on algebraic factorisation using distributivity of product over union and commutativity of product and union. We giv...
193
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...