2022 search results - page 374 / 405 » Complexity of Non-Monotonic Logics |
95
Voted
ENTCS
2006
14 years 10 months 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...
114
Voted
CSI
2007
14 years 10 months 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 ...
175
click to vote
AC
2005
Springer
14 years 10 months 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...
113
Voted
JIB
2007
14 years 10 months 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...
93
Voted
NJC
2000
14 years 10 months 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 ...