265 search results - page 10 / 53 » Description Logic Framework for Information Integration |
111
click to vote
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
114
click to vote
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
ISMB
1993
14 years 11 months ago
1993
There are several dimensions and levels of complexity in which information on protein motifs may be available. For example, onedimensional sequence motifs may be associated with s...
CASCON
1997
14 years 11 months ago
1997
Numerous architectural description languages (ADLs) have been developed, each providing complementary capabilities for architectural development and analysis. Unfortunately, each ...
DKE
2006
14 years 9 months ago
2006
We describe a framework called the Uni-Level Description (ULD) for accurately representing information from a broad range of data models. The ULD extends previous metadata-model a...