4117 search results - page 25 / 824 » On the Satisfiability of Complex Constraints |
GLOBECOM
2009
IEEE
2009
IEEE
Optimum Allocation of Energy and Spectrum in Power-Controlled Wireless Networks with QoS Constraints
15 years 1 months ago
An important performance measure in wireless networks is the manner in which the network can distributively manage its limited energy and spectrum resources, while assuring certain...
FTCS
1998
14 years 11 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
SMA
2009
ACM
15 years 4 months ago
2009
ACM
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...
EVOW
2008
Springer
14 years 11 months ago
2008
Springer
Advances in modern technologies for measuring protein-protein interaction (PPI) has boosted research in PPI networks analysis and comparison. One of the challenging problems in com...
AAAI
2010
14 years 11 months ago
2010
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...