4397 search results - page 496 / 880 » Relational Algebra Operations |
250
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
121
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
A goal of human-robot interaction is to allow one user to operate multiple robots simultaneously. In such a scenario the robots provide leverage to the user's attention. The ...
137
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Because writing computer programs is hard, computer programmers are taught to use encapsulation and modularity to hide complexity and reduce the potential for errors. Their progra...
118
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
SALSA examines system logs to derive state-machine views of the sytem's execution, along with control-flow, data-flow models and related statistics. Exploiting SALSA's d...
132
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
We present icTCP, an "information and control" TCP implementation that exposes key pieces of internal TCP state and allows certain TCP variables to be set in a safe fash...