8828 search results - page 184 / 1766 » Formal methods in practice |
137
Voted
KER
2008
15 years 4 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
138
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
124
Voted
ICTAI
1996
IEEE
15 years 9 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
133
Voted
BDA
1998
15 years 6 months ago
1998
Many papers have been written on the structural aspect of view mechanisms for object-oriented databases. A clean model that focuses speci cally on the interplay between methods an...
151
click to vote
FLAIRS
1998
15 years 6 months ago
1998
Edge detection is one of the most-studied problems in the field of computervision. However,there is no standard method of objectively and accurately evaluating the performance of ...