1424 search results - page 28 / 285 » Improving on Version Stamps |
ESWS
2006
Springer
15 years 2 months ago
2006
Springer
We present an architecture for combining wikis containing hypertext with ontologies containing formal, structured information. A web-based ontology editor that supports collaborati...
106
click to vote
CAV
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
FLAIRS
2001
15 years 10 days ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
VMV
2001
15 years 9 days ago
2001
This paper deals with robust point features selection for tracking. The aim is to identify unreliable features since the first frame so to track them in all the sequence. We exten...
ICEC
1994
15 years 8 days ago
1994
Combinatorial optimization problems require computing efforts which grow at least exponentially with the problem dimension. Therefore, the use of the remarkable power of massively...