1743 search results - page 270 / 349 » Generalized Modal Satisfiability |
129
click to vote
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Abstract--This paper investigates the uniqueness of a nonnegative vector solution and the uniqueness of a positive semidefinite matrix solution to underdetermined linear systems. A...
107
Voted
AAAI
2010
15 years 18 days ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
121
Voted
GLOBECOM
2010
IEEE
15 years 16 days ago
2010
IEEE
In this paper, we consider the joint problem of congestion control and scheduling with multi-class Quality of Service (QoS) requirements. Generally, the joint problem is formulated...
119
Voted
IPPS
2010
IEEE
15 years 14 days ago
2010
IEEE
Line-rate data traffic monitoring in high-speed networks is essential for network management. To satisfy the line-rate requirement, one can leverage multi-core architectures to par...
121
Voted
QEST
2010
IEEE
15 years 13 days ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...