2022 search results - page 374 / 405 » Complexity of Non-Monotonic Logics |
106
Voted
ENTCS
2006
15 years 16 days ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
138
Voted
CSI
2007
15 years 15 days ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
198
Voted
AC
2005
Springer
15 years 13 days ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
143
click to vote
JIB
2007
15 years 12 days ago
2007
As protein-protein interactions are one of the basic mechanisms in most cellular processes, it is desirable to understand the molecular details of protein-protein contacts and ult...
117
click to vote
NJC
2000
15 years 9 days ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...