6020 search results - page 938 / 1204 » A New Approach to Model Counting |
216
click to vote
ABIALS
2008
Springer
15 years 8 months ago
2008
Springer
Factored Reinforcement Learning (frl) is a new technique to solve Factored Markov Decision Problems (fmdps) when the structure of the problem is not known in advance. Like Anticipa...
151
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Recently there has been a surge of interest in making computer science education attractive to potential students, motivating to current students, and relevant to graduating stude...
181
click to vote
DEXA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. MPEG-7 is a promising standard for the description of multimedia content. A lot of applications based on MPEG-7 media descriptions have been set up. Therefore, an efficie...
164
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
174
click to vote
BIS
2008
15 years 8 months ago
2008
Deep web search requires a transformation between search keywords and semantically described and well-formed data structures. We approached this problem in our "In the Web of ...