3229 search results - page 203 / 646 » Theories with the Independence Property |
179
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
224
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
In this paper, we develop a new approach for texture classification independent of affine transforms. Based on spectral representation of texture images under affine transform, an...
180
click to vote
SCCC
2008
IEEE
16 years 27 days ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
150
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
— The potential problem of oversubscribing receivers in receiver-driven multicast is addressed. We present a framework based on harmonizing the erasure-resilience properties of v...
160
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...