138 search results - page 4 / 28 » Hybrid argumentation and its properties |
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Expressive knowledge representations with flexible semantic similarity measures are central for the functioning of semantic information retrieval, information integration, matchmak...
ICSE
2011
IEEE-ACM
14 years 29 days ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
HYBRID
2005
Springer
15 years 3 months ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
75
Voted
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
81
Voted
STACS
1999
Springer
15 years 1 months ago
1999
Springer
Leo Harrington surprisingly constructed a machine which can learn any computable function f according to the following criterion (called Bc∗ -identification). His machine, on t...