7118 search results - page 276 / 1424 » Electrical and Computer Engineering |
129
click to vote
TABLEAUX
1999
Springer
15 years 7 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
107
Voted
ECAI
1992
Springer
15 years 7 months ago
1992
Springer
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...
124
click to vote
ASSETS
2008
ACM
15 years 4 months ago
2008
ACM
This proposal is about a brain-controlled electrically powered wheelchair. The system comprises a brain-computer interface based on steady-state visual evoked potentials and a pro...
103
click to vote
IJCAI
2007
15 years 4 months ago
2007
Most AI diagnostic reasoning approaches model components and but not their interconnections, and when they do model interconnections, they model the possibility that a connection ...
112
Voted
IJBIDM
2006
15 years 2 months ago
2006
: Appraisal of companies is an important business activity. We mainly apply Bayesian networks for this classification task for Japanese electric company data. Firstly, few standard...