4340 search results - page 606 / 868 » Formal Methods and Cryptography |
177
click to vote
CAV
2004
Springer
15 years 12 months 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...
142
click to vote
DAGM
2004
Springer
15 years 12 months 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...
172
click to vote
ESWS
2004
Springer
15 years 12 months 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...
152
click to vote
EUSAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...
150
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...