1828 search results - page 302 / 366 » First-Class Type Classes |
120
Voted
CORR
1998
Springer
15 years 2 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...
104
click to vote
CORR
1998
Springer
15 years 2 months ago
1998
Springer
We examine the computational complexity of testing and nding small plans in probabilistic planning domains with both at and propositional representations. The complexity of plan e...
106
Voted
TPDS
1998
15 years 2 months ago
1998
—We show that deadlocks due to dependencies on consumption channels are a fundamental problem in wormhole multicast routing. This type of resource deadlocks has not been addresse...
WINET
1998
15 years 2 months ago
1998
Abstract— A dual rate synchronous DS/CDMA system provides service to low bit rate and high bit rate users. In a fixed duration interval, a low rate user transmits one bit while ...
127
Voted
TSE
2002
15 years 2 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...