2722 search results - page 64 / 545 » Automating Language Evolution |
104
click to vote
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
100
click to vote
DALT
2006
Springer
15 years 3 months ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with various new features, such as speech-act based communication, internal belief additions, and supp...
191
click to vote
ASIAN
2009
Springer
15 years 29 days ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
104
click to vote
CADE
2009
Springer
16 years 13 days ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
101
click to vote
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
We propose in this paper an interactive segmentation algorithm based on curve evolution techniques. The task of automated segmentation has proven to be highly complex and applicat...