1037 search results - page 106 / 208 » A view of canonical extension |
304
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
265
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
250
click to vote
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
Abstract In this paper we propose an extensible architecture for database engines where satellite databases are used to scale out and implement additional functionality for a centr...
148
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We describe Dispute Finder, a browser extension that alerts a user when information they read online is disputed by a source that they might trust. Dispute Finder examines the tex...
206
click to vote
FGR
2008
IEEE
16 years 26 days ago
2008
IEEE
Recent pose invariant methods try to model the subject specific appearance change across pose. For this, however, almost all of the existing methods require a perfect alignment b...