3991 search results - page 536 / 799 » Bounding homogeneous models |
131
click to vote
ADHOCNOW
2003
Springer
15 years 10 months ago
2003
Springer
We consider topology control problems where the goal is to assign transmission powers to the nodes of an ad hoc network so as to induce graphs satisfying specific properties. The ...
126
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
126
click to vote
ILP
2003
Springer
15 years 10 months ago
2003
Springer
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...
140
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we extend an earlier worst case bound reliability theory to derive a worst case reliability function R(t), which gives the worst case probability of surviving a furt...
135
click to vote
WECWIS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a solution to achieve dynamic Inter-enterprise workflow management using the eservices provided by collaborative e-business enterprises. E-services are distrib...