5255 search results - page 787 / 1051 » Formal Methods for Privacy |
171
click to vote
CAV
2004
Springer
16 years 13 hour ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
147
click to vote
CAV
2004
Springer
16 years 13 hour ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
180
click to vote
CAV
2004
Springer
16 years 13 hour ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
143
click to vote
DAGM
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. During recent years much effort has been spent in incorporating problem specific a-priori knowledge into kernel methods for machine learning. A common example is a-prior...
173
click to vote
ESWS
2004
Springer
16 years 5 hour ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...