233 search results - page 38 / 47 » Efficient Combination of Decision Procedures for MUS Computa... |
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
The importance of dominance and skyline analysis has been well recognized in multi-criteria decision making applications. Most previous studies assume a fixed order on the attribu...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—We propose a routing metric for enabling highthroughput reliable multicast in multi-rate wireless mesh networks. This new multicast routing metric, called expected multi...
BMCBI
2005
13 years 7 months ago
2005
Background: Sequence comparison by alignment is a fundamental tool of molecular biology. In this paper we show how a number of sequence comparison tasks, including the detection o...
BMCBI
2005
13 years 7 months ago
2005
Background: Two central problems in computational biology are the determination of the alignment and phylogeny of a set of biological sequences. The traditional approach to this p...