811 search results - page 25 / 163 » Integrating Formal Description Techniques |
186
click to vote
RWEB
2009
Springer
16 years 1 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...
178
click to vote
OTM
2005
Springer
16 years 4 days 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...
158
click to vote
ICSE
2001
IEEE-ACM
15 years 11 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...
202
click to vote
TABLEAUX
2007
Springer
16 years 23 days 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...
143
click to vote
ECCV
1990
Springer
16 years 8 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...