1536 search results - page 301 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
101
Voted
IWANN
1997
Springer
15 years 3 months ago
1997
Springer
A detailed connectionist architecture is described which is capable of relating psychological behavior to the functioning of neurons and neurochemicals. The need to be able to bui...
IJCAI
1993
15 years 29 days ago
1993
Since its inception, arti cial intelligence has relied upon a theoretical foundation centred around perfect rationality as the desired property of intelligent systems. We argue, a...
110
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
107
Voted
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
SIGMETRICS
2006
ACM
15 years 5 months ago
2006
ACM
We consider a system with two service classes with heterogeneous traffic characteristics and Quality-of-Service requirements. The available bandwidth is shared between the two tra...