190 search results - page 28 / 38 » A Simple Proof Technique for Certain Parametricity Results |
CEAS
2004
Springer
14 years 29 days ago
2004
Springer
Generally a content based spam filter works on words and phrases of email text and if it finds offensive content it gives that email a numerical value (depending on the content). A...
VMCAI
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
EUROGRAPHICS
2010
Eurographics
13 years 8 months ago
2010
Eurographics
Skinning is a simple yet popular deformation technique combining compact storage with efficient hardware accelerated rendering. While skinned meshes (such as virtual characters) a...
TCSV
2008
13 years 7 months ago
2008
In this paper a novel H.264 multiple description technique is proposed. The coding approach is based on the redundant slice representation option, defined in the H.264 standard. In...
SIGIR
2004
ACM
14 years 29 days ago
2004
ACM
Information filtering has made considerable progress in recent years.The predominant approaches are content-based methods and collaborative methods. Researchers have largely conc...