12519 search results - page 2088 / 2504 » Approximation Problems Categories |
165
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
In many AI settings an agent is comprised of both actionplanning and action-execution components. We examine the relationship between the precision of the execution component, the...
197
click to vote
C3S2E
2010
ACM
15 years 8 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
179
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Spam is highly pervasive in P2P file-sharing systems and is difficult to detect automatically before actually downloading a file due to the insufficient and biased description of ...
177
click to vote
CIDR
2009
15 years 8 months ago
2009
To date, the principal use case for schema matching research has been as a precursor for code generation, i.e., constructing mappings between schema elements with the end goal of ...
190
click to vote
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
ThunderDome is a system for collaboratively measuring upload bandwidths in ad-hoc peer-to-peer systems. It works by scheduling bandwidth probes between pairs of hosts, wherein eac...