4573 search results - page 447 / 915 » Automated Reasoning |
204
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
192
click to vote
DLOG
2003
15 years 8 months ago
2003
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
166
click to vote
DLOG
1998
15 years 8 months ago
1998
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
176
click to vote
DLOG
1997
15 years 8 months ago
1997
In companies a large amount of information is maintained that is accessible via network communication tools. This makes searching for a particular piece of information a di cult t...
137
click to vote
DLOG
1997
15 years 8 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...