8838 search results - page 376 / 1768 » Generalizing Domain Theory |
173
click to vote
IWINAC
2007
Springer
16 years 1 months 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...
173
click to vote
RTA
2007
Springer
16 years 1 months 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-...
177
click to vote
HT
2006
ACM
16 years 1 months 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...
210
click to vote
GRC
2005
IEEE
16 years 1 months 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...
186
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
The choice of the offer to propose at a given step in a negotiation dialogue is a strategic matter and depends broadly on the profile of the agent and its mental states. The aim ...