971 search results - page 161 / 195 » Approximate Satisfiability and Equivalence |
ICSOC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We consider an approach to service selection wherein service consumers choose services with desired nonfunctional properties to maximize their utility. A consumer’s uti...
INFORMS
2010
14 years 10 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
112
click to vote
WCNC
2010
IEEE
14 years 10 months ago
2010
IEEE
—With the ever increasing interest in multiple-input multiple-output (MIMO) cognitive radio (CR) systems, reducing the costs associated with RF-chains at the radio front end beco...
114
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
The recently emerging WiMAX (IEEE 802.16) is a promising telecommunication technology to provide low-cost, high-speed and long-range wireless communications. To meet the growing de...
ICGI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...