1454 search results - page 133 / 291 » Stateful traits and their formalization |
102
click to vote
COMMA
2006
15 years 2 months ago
2006
In the context of Dung's theory of abstract argumentation frameworks, the comparison between different semantics is often carried out by resorting to some specific examples co...
89
Voted
EUSFLAT
2003
15 years 2 months ago
2003
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
95
Voted
COLING
2000
15 years 2 months ago
2000
Results presented in this paper strongly support the notion that similarities as well as differences in language systems can be empirically investigated by looking into the lingui...
93
Voted
AAAI
1994
15 years 2 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
74
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...