11097 search results - page 8 / 2220 » Hera presentation generator |
ICAT
2007
IEEE
14 years 2 months ago
2007
IEEE
This article presents a simple and intuitive way to represent the eye-tracking data gathered during immersive virtual reality exposure therapy sessions. Eye-tracking technology is...
CBMS
2003
IEEE
13 years 11 months ago
2003
IEEE
This article addresses 2-dimensional layout of high-dimensional biomedical datasets, which is useful for browsing them efficiently. We employ the Isomap technique, which is based ...
IJCAI
2007
13 years 9 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
ASIACRYPT
1991
Springer
13 years 11 months ago
1991
Springer
A method is described to generate collisions for the hash function FFT-Hash that
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...