9719 search results - page 432 / 1944 » Answer Set Optimization |
244
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
214
click to vote
CAV
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to ...
295
click to vote
CIDR
2011
14 years 11 months ago
2011
A stream warehouse is a Data Stream Management System (DSMS) that stores a very long history, e.g. years or decades; or equivalently a data warehouse that is continuously loaded. ...
163
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The work establishes fundamental limits between rate, reliability and computational complexity, for the general setting of outage-limited MIMO communications. In the high-SNR regim...
191
click to vote
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Multi-modal optimization refers to locating not only one optimum but a set of locally optimal solutions. Niching is an important technique to solve multi-modal optimization problem...