1162 search results - page 90 / 233 » Monotonic Semantic Interpretation |
163
Voted
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
We present Avatar Semantic Search, a prototype search engine that exploits annotations in the context of classical keyword search. The process of annotations is accomplished offli...
104
click to vote
ITRE
2005
IEEE
15 years 4 months ago
2005
IEEE
A Bayesian network model is a popular technique for data mining due to its intuitive interpretation. This paper presents a semantic genetic algorithm (SGA) to learn a complete qual...
ASM
2005
ASM
15 years 4 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
AGP
1994
IEEE
15 years 2 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
100
click to vote
CSL
2008
Springer
15 years 26 days ago
2008
Springer
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...