1262 search results - page 152 / 253 » Diagnosis Problem Solving Using Fuzzy Relations |
89
Voted
CHI
1993
ACM
15 years 4 months ago
1993
ACM
A software tool called EXPLAINER has been developed for helping programmers perform new tasks by exploring previously worked-out examples. EXPLAINER is based on cognitive principl...
101
Voted
IJCAI
2001
15 years 2 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
77
Voted
ICASSP
2010
IEEE
15 years 26 days ago
2010
IEEE
Modern networks are highly variable and, as a result, source coders are commonly used under conditions that they were not designed for. We address this problem with a source-codin...
142
click to vote
AAAI
2008
15 years 1 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
131
Voted
IWPEC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce the graph parameter boolean-width, related to the number of different unions of neighborhoods across a cut of a graph. For many graph problems this number is...