3690 search results - page 554 / 738 » Computation with classical sequents |
143
Voted
UIST
2006
ACM
15 years 11 months ago
2006
ACM
We present the Haptic Shading Framework (HSF), a framework for procedurally defining haptic texture. HSF haptic texture shaders are short procedures allowing an application-progr...
139
Voted
CIBCB
2005
IEEE
15 years 11 months ago
2005
IEEE
— Part of the challenge of modeling protein sequences is their discrete nature. Many of the most powerful statistical and learning techniques are applicable to points in a Euclid...
136
Voted
CIBCB
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper, we report a practical application of world’s first internet-based melanoma diagnostic system. The system is now available from all over the world, 24 hours 36...
149
click to vote
CRV
2005
IEEE
15 years 11 months ago
2005
IEEE
Analyzing human gait has become popular in computer vision. So far, however, contributions to this topic almost exclusively considered the problem of person identification. In th...
145
click to vote
IAT
2005
IEEE
15 years 11 months ago
2005
IEEE
Trust management model that we present is adapted for ubiquitous devices cooperation, rather than for classic client-supplier relationship. We use fuzzy numbers to represent trust...