4488 search results - page 297 / 898 » Properties of NP-Complete Sets |
146
click to vote
EPEW
2007
Springer
15 years 10 months ago
2007
Springer
A parallel composition is defined for Markov reward chains with fast transitions and for discontinuous Markov reward chains. In this setting, compositionality with respect to the r...
153
click to vote
GREC
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present a system that allows its use to build synthetic graphical documents for the performance evaluation of symbol recognition systems. The key contribution of ...
214
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
196
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Current algorithms cannot be used optimally in (semi)automatic ontology matching tasks as envisioned by the Semantic Web community, mainly because of the inherent dependency betwee...
176
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representat...