811 search results - page 25 / 163 » Integrating Formal Description Techniques |
RWEB
2009
Springer
14 years 2 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
TABLEAUX
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
ECCV
1990
Springer
14 years 9 months ago
1990
Springer
This paper describes techniques for dynamically modeling the 2-D appearance and 3-D geometry of a
scene by integrating information from a moving camera. These techniques are illus...