3954 search results - page 34 / 791 » Image-based Model Completion |
112
click to vote
AAAI
2010
15 years 3 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
108
click to vote
ISPASS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper proposes the use of microprocessor performance counters for online measurement of complete system power consumption. While past studies have demonstrated the use of per...
96
Voted
WSC
2007
15 years 4 months ago
2007
In this paper we introduce the completed unit algorithm (CU-AL), a probabilistic scheduling methodology for repetitive projects. The algorithm has two main advantages, simplicity ...
121
Voted
AMAI
2002
Springer
15 years 1 months ago
2002
Springer
Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving jus...
177
Voted
SDM
2011
SIAM
14 years 4 months ago
2011
SIAM
While the social and information networks have become ubiquitous, the challenge of collecting complete network data still persists. Many times the collected network data is incomp...