2266 search results - page 362 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
192
click to vote
MFCS
2009
Springer
16 years 1 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ļ...
192
click to vote
GLOBECOM
2007
IEEE
16 years 1 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...
196
click to vote
WDAG
2007
Springer
16 years 1 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 ...
209
click to vote
APPROX
2004
Springer
16 years 11 days 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...
191
click to vote
SODA
2003
ACM
15 years 8 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...