91 search results - page 11 / 19 » The High Road to Formal Validation: |
PRL
2011
13 years 2 months ago
2011
Machine Learning based on the Regularized Least Square (RLS) model requires one to solve a system of linear equations. Direct-solution methods exhibit predictable complexity and s...
ICASSP
2011
IEEE
2011
IEEE
Detecting oscillating singularities in multifractal analysis: Application to hydrodynamic turbulence
12 years 11 months ago
Multifractal analysis describes data as a collection of singularities. However, its classical formulation does not account for their possibly oscillating nature, while, in a numbe...
CCS
2004
ACM
14 years 27 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
FROCOS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...