5348 search results - page 783 / 1070 » Variational surface modeling |
258
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
139
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Authenticated dictionaries allow users to send lookup requests to an untrusted server and get authenticated answers. Persistent authenticated dictionaries (PADs) add queries agains...
119
click to vote
CHI
2003
ACM
16 years 5 months ago
2003
ACM
In this paper, we discuss the output of a student project about the design of a physically interactive system to assist the education of martial arts to children. The conceptual s...
129
click to vote
ACSD
2009
IEEE
15 years 11 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
136
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
The major limitation in bilingual latent semantic analysis (bLSA) is the requirement of parallel training corpora. Motivated by semi-supervised learning, we propose a clusterbased...