2266 search results - page 362 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
137
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
151
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
ā We study the problem of reliably provisioning trafļ¬c in high-capacity backbone mesh networks supporting virtual concatenation (VCAT). VCAT enables a connection to be inversel...
143
click to vote
WDAG
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows eļ¬cient detection ...
158
click to vote
APPROX
2004
Springer
15 years 9 months ago
2004
Springer
In standard property testing, the task is to distinguish between objects that have a property P and those that are Īµ-far from P, for some Īµ > 0. In this setting, it is perfec...
143
click to vote
SODA
2003
ACM
15 years 5 months ago
2003
ACM
Motivated by several applications, we introduce various distance measures between ātop k lists.ā Some of these distance measures are metrics, while others are not. For each of...