4340 search results - page 321 / 868 » Formal Methods and Cryptography |
274
click to vote
ICFCA
2010
Springer
16 years 2 months ago
2010
Springer
Let L → H be a lattice homomorphism and let a “readable” drawing of H be given. It is natural to make use of it to try getting a clear(er) drawing of L. Hence, the following ...
185
click to vote
ISSAC
2009
Springer
16 years 2 months ago
2009
Springer
We study systems of higher-order linear differential equations having a regular singularity at the origin. Using the properties of matrix polynomials, we develop efficient method...
199
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
186
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
185
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...