7519 search results - page 449 / 1504 » Optimizing Generic Functions |
185
click to vote
AICT
2006
IEEE
16 years 28 days ago
2006
IEEE
As the Web platform continues to mature, we see an increasing number of amazing technologies that take Geographic Information Systems (GIS) visualization applications to new level...
186
click to vote
SP
2006
IEEE
16 years 26 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
161
click to vote
TPHOL
2006
IEEE
16 years 26 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
206
click to vote
FPT
2005
IEEE
16 years 14 days ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...
160
click to vote
ICMCS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents a novel platform for image retrieval based on a two-level architecture inspired from human cognitive mechanisms. These two levels provide both generic similari...