107 search results - page 18 / 22 » Modelling with temporal fuzzy chains |
AIIA
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
SEKE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
DAGSTUHL
2006
13 years 8 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
AUSAI
2011
Springer
12 years 7 months ago
2011
Springer
The amount of user generated content on the Web is growing and identifying high quality content in a timely manner has become a problem. Many forums rely on its users to manually r...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...