2152 search results - page 143 / 431 » A Comparative Study of 2QBF Algorithms |
149
click to vote
IBIS
2006
15 years 4 months ago
2006
: Schema matching is the task of finding semantic correspondences between elements of two schemas, which plays a key role in many database applications. In this paper, we cast the ...
129
click to vote
JAR
2000
15 years 4 months ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
138
click to vote
TEC
2002
15 years 4 months ago
2002
An ant colony optimization (ACO) approach for the resource-constrained project scheduling problem (RCPSP) is presented. Several new features that are interesting for ACO in general...
158
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Network virtualization is a paradigm that allows for flexible and efficient allocation of the resources among multiple virtual networks (VNets). In this paper we deal with the p...
148
click to vote
JDCTA
2010
14 years 11 months ago
2010
Parameter (or variable) of automotive embedded networked control system is named as signal. In order to improve system performance and provide more remaining bandwidth for system ...