4340 search results - page 574 / 868 » Formal Methods and Cryptography |
136
click to vote
AIME
2005
Springer
16 years 5 days ago
2005
Springer
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...
180
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
140
click to vote
IEAAIE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
157
click to vote
CAV
2004
Springer
16 years 17 hour ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
164
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper is concerned with computing graph edit distance. One of the criticisms that can be leveled at existing methods for computing graph edit distance is that it lacks the fo...