7167 search results - page 254 / 1434 » A Technique for Invariant Generation |
195
click to vote
VR
2010
IEEE
15 years 5 months ago
2010
IEEE
Nowadays, applications of virtual reality (VR) and computer games use human characters models with ever-increasing sophistication. Additional challenges are posed by applications,...
200
click to vote
ACL
2010
15 years 5 months ago
2010
Music Recommendation Systems often recommend individual songs, as opposed to entire albums. The challenge is to generate reviews for each song, since only full album reviews are a...
200
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Theory propagation in Satisfiability Modulo Theories is crucial for the solver's performance. It is important, however, to pay particular care to the amount of deduc...
197
click to vote
ICCV
2003
IEEE
16 years 9 months ago
2003
IEEE
This article examines projectively-invariant local geometric properties of smooth curves and surfaces. Oriented projective differential geometry is proposed as a general framework ...
200
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We propose a novel biometrics cryptosystem where one can send and receive secure information using just the fingerprints. This cryptosystem is a judicious blend of the asymmetric ...