1736 search results - page 221 / 348 » The rank-width of Directed Graphs |
179
Voted
COCO
2010
Springer
15 years 8 months ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
148
Voted
IJCAI
2003
15 years 6 months ago
2003
Relaxed plans are used in the heuristic search planner FF for computing a numerical heuristic and extracting helpful actions. We present a novel way for extracting information fro...
163
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
165
click to vote
WSDM
2009
ACM
16 years 1 days ago
2009
ACM
The ranking function used by search engines to order results is learned from labeled training data. Each training point is a (query, URL) pair that is labeled by a human judge who...
165
click to vote
WINE
2009
Springer
15 years 11 months ago
2009
Springer
We consider weighted linear congestion games, and investigate how social ignorance, namely lack of information about the presence of some players, affects the inefficiency of pure...