3820 search results - page 406 / 764 » Bounded Model Debugging |
148
Voted
CPAIOR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We propose generalizations of the Global Cardinality Constraint (gcc) in which a partition of the variables is given. In the context of resource allocation problems, such...
174
click to vote
FSTTCS
2007
Springer
16 years 28 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
182
click to vote
ICALP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
161
Voted
FOCS
2005
IEEE
16 years 11 days ago
2005
IEEE
We consider online problems where purchases have time durations which expire regardless of whether the purchase is used or not. The Parking Permit Problem is the natural analog of...
149
click to vote
ESWS
2005
Springer
16 years 8 days ago
2005
Springer
The Resource Description Framework (RDF) is a metadata model and language recommended by the W3C. This paper presents a framework to incorporate temporal reasoning into RDF, yieldi...