496 search results - page 78 / 100 » Practical Reasoning for Very Expressive Description Logics |
87
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
108
Voted
KES
2008
Springer
15 years 10 days ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
139
click to vote
DALT
2005
Springer
15 years 6 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
120
Voted
SAMOS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract—Geometric Algebra (GA), a generalization of quaternions, is a very powerful form for intuitively expressing and manipulating complex geometric relationships common to en...