3605 search results - page 590 / 721 » Associated types with class |
122
click to vote
CORR
1998
Springer
15 years 3 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...
132
click to vote
TPDS
1998
15 years 3 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...
114
Voted
WINET
1998
15 years 3 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 ...
118
click to vote
JFP
2010
15 years 2 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
137
Voted
JUCS
2010
15 years 2 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...