1060 search results - page 118 / 212 » Mechanized semantics |
112
click to vote
CADE
1992
Springer
15 years 2 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
100
click to vote
LREC
2008
14 years 11 months ago
2008
Acquiring knowledge from the Web to build domain ontologies has become a common practice in the Ontological Engineering field. The vast amount of freely available information allo...
DKE
2007
14 years 10 months ago
2007
Ontology is playing an increasingly important role in knowledge management and the Semantic Web. This study presents a novel episode-based ontology construction mechanism to extra...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, an adaptive neural network architecture is proposed for efficient video object segmentation and tracking of stereoscopic sequences. The scheme includes (a) a retrai...
SIGMOD
2002
ACM
14 years 9 months ago
2002
ACM
Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects event...