413 search results - page 59 / 83 » Algorithms for the automatic extension of an instruction-set |
103
click to vote
VISUALIZATION
2005
IEEE
15 years 5 months ago
2005
IEEE
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...
ANCS
2005
ACM
15 years 5 months ago
2005
ACM
This paper presents a hardware architecture for highly efficient intrusion detection systems. In addition, a software tool for automatically generating the hardware is presented....
MM
2004
ACM
15 years 5 months ago
2004
ACM
We address the problem of unsupervised image auto-annotation with probabilistic latent space models. Unlike most previous works, which build latent space representations assuming ...
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
109
click to vote
ICSM
2002
IEEE
15 years 4 months ago
2002
IEEE
Current practice of Web site development does not address explicitly the problems related to multilingual sites. The same information, as well as the same navigation paths, page f...