7167 search results - page 915 / 1434 » Answer Set Programming |
127
click to vote
AAAI
1994
15 years 6 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
143
click to vote
IAAI
1993
15 years 6 months ago
1993
This paper describes COMPAQ QuickSource, an electronic problem-solving and information system for Compaq’s line of networked printers. A major goal in designing this system was ...
112
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
Given an edge-weighted undirected graph G with a specified set of terminals, let the density of any subgraph be the ratio of its weight/cost to the number of terminals it contain...
165
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
Huge amounts of social multimedia is being created daily by a combination of globally distributed disparate sensors, including human-sensors (e.g. tweets) and video cameras. Taken...
138
click to vote
MOBICOM
2010
ACM
15 years 5 months ago
2010
ACM
Short Messaging Service (SMS) based mobile information services have become increasingly common around the world, especially in emerging regions among users with low-end mobile de...