7924 search results - page 418 / 1585 » Non-Malleable Functions and Their Applications |
172
click to vote
LPAR
2005
Springer
16 years 1 months ago
2005
Springer
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...
201
click to vote
TSD
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
221
click to vote
IAW
2003
IEEE
16 years 1 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
165
click to vote
CIE
2010
Springer
16 years 15 days ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
192
click to vote
EURODAC
1994
IEEE
15 years 12 months ago
1994
IEEE
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper prese...