2766 search results - page 139 / 554 » Hybridizing a Logical Framework |
111
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
147
click to vote
ICIP
1999
IEEE
16 years 5 months ago
1999
IEEE
This paper highlights recent advancesin image compression aided by 3-D geometry information. As two examples, we present a model-aided video coder for efficient compression of hea...
126
click to vote
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we explore the idea of Intelligent Learning Environment (ILE) by building a system for teaching and learning music in a web-based environment. Our system is a frame...
151
click to vote
ISNN
2005
Springer
15 years 9 months ago
2005
Springer
Current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (if anything)...
172
click to vote
IJCAI
2007
15 years 5 months ago
2007
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...