2446 search results - page 157 / 490 » Polyadic Concept Analysis |
CSCLP
2008
Springer
13 years 12 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
SODA
2004
ACM
13 years 11 months ago
2004
ACM
We study the average-case performance of algorithms for the binary knapsack problem. Our focus lies on the analysis of so-called core algorithms, the predominant algorithmic conce...
AIPS
1996
13 years 11 months ago
1996
Subgoal interactions have received considerable attention in AI Planning. Earlier analyses by Korf [11] and Joslin and Roach [6] were done in terms of the topology of the space of...
SPLC
2007
13 years 11 months ago
2007
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
WCE
2007
13 years 11 months ago
2007
—Orthogonal Frequency Division Multiplexing (OFDM) is gaining popularity for high data rate communication systems. We propose the use of adaptive beamforming for interference rej...