5158 search results - page 164 / 1032 » Generalization of the Dempster-Shafer Theory |
152
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
140
click to vote
IWINAC
2007
Springer
16 years 17 days ago
2007
Springer
Theories of how the brain computes can be differentiated in three general conceptions: the algorithmic approach, the neural information processing (neurocomputational) approach an...
146
click to vote
RTA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
147
click to vote
HT
2006
ACM
16 years 11 days ago
2006
ACM
Web 2.0 is the popular name of a new generation of Web applications, sites and companies that emphasis openness, community and interaction. Examples include technologies such as B...
180
click to vote
GRC
2005
IEEE
16 years 1 days ago
2005
IEEE
— As an emerging research method to deal with information and knowledge processing, various topics of granular computing have recently received more attention by researchers. The...