8838 search results - page 376 / 1768 » Generalizing Domain Theory |
150
click to vote
IWINAC
2007
Springer
16 years 29 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...
153
click to vote
RTA
2007
Springer
16 years 28 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-...
157
click to vote
HT
2006
ACM
16 years 24 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...
196
click to vote
GRC
2005
IEEE
16 years 13 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...
167
click to vote
ATAL
2005
Springer
16 years 11 days 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 ...