3690 search results - page 554 / 738 » Computation with classical sequents |
163
click to vote
UIST
2006
ACM
16 years 15 days 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...
160
click to vote
CIBCB
2005
IEEE
16 years 5 days 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...
153
click to vote
CIBCB
2005
IEEE
16 years 5 days 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...
170
click to vote
CRV
2005
IEEE
16 years 5 days 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...
170
click to vote
IAT
2005
IEEE
16 years 5 days 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...