1205 search results - page 109 / 241 » Program Extraction from Large Proof Developments |
126
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
117
click to vote
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
Co-authorship networks, an important type of social networks, have been studied extensively from various angles such as degree distribution analysis, social community extraction a...
100
click to vote
LREC
2010
15 years 3 months ago
2010
We present a working Arabic information extraction (IE) system that is used to analyze large volumes of news texts every day to extract the named entity (NE) types person, organiz...
225
click to vote
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
114
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
The prize-collecting Steiner tree problem on a graph with edge costs and vertex profits asks for a subtree minimizing the sum of the total cost of all edges in the subtree plus th...