2436 search results - page 118 / 488 » Comonadic Notions of Computation |
123
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
121
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
105
click to vote
ACSC
2003
IEEE
15 years 9 months ago
2003
IEEE
In response to Searle's well-known Chinese room argument against Strong AI (and more generally, computationalism), Harnad proposed that if the symbols manipulated by a robot ...
101
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
An answer to a query has a well-defined lineage expression (alternatively called how-provenance) that explains how the answer was derived. Recent work has also shown how to comput...
134
click to vote
ICAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Distributed User Interfaces (DUIs) are those interfaces whose different parts can be distributed in time and space on different monitors, screens, and computing platforms, dependi...