32 search results - page 5 / 7 » On the Power of Subsumption and Context Checks |
RTA
1995
Springer
15 years 2 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...
79
Voted
ICMCS
2006
IEEE
15 years 5 months ago
2006
IEEE
In the integrity checking context of multimedia contents, a malicious user aims at devising a forged content in order to fool a watermarker by making him use as a genuine content....
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
106
click to vote
CADE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
CEEMAS
2005
Springer
15 years 4 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...