3342 search results - page 235 / 669 » Automating Abstract Interpretation |
118
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
We propose a settlement mechanism for optimally scheduling real time electricity consumption which is suitable for an automated demand response control system. Our proposed settlem...
124
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we present automated methods for estimating note intensities in music recordings. Given a MIDI file (representing the score) and an audio recording (representing a...
132
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
110
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. One of the most successful approaches in automated planning is to use heuristic state-space search. A popular heuristic that is used by a number of state-space planners i...
131
Voted
FTP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...