1280 search results - page 204 / 256 » Soft Typing with Conditional Types |
IJCIA
2002
13 years 8 months ago
2002
An interesting problem which has been widely investigated is under what circumstances will a society of rational agents realize some particular stable situations, and whether they ...
CORR
1998
Springer
13 years 8 months ago
1998
Springer
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled t...
COMCOM
1999
13 years 8 months ago
1999
Asynchronous transfer mode (ATM) networks can support different services with different Quality of Service (QoS) requirements. Among all service types, Available Bit Rate (ABR) is...
JUCS
2002
13 years 8 months ago
2002
: A purely communicative variant of P systems was considered recently, based on the trans-membrane transport of couples of chemicals. When using both symport rules (the chemicals p...
MOC
2002
13 years 8 months ago
2002
An essential part of any boundary value problem is the domain on which the problem is defined. The domain is often given by scanning or another digital image technique with limited...