12774 search results - page 2242 / 2555 » A Framework for Proof Systems |
187
Voted
W4A
2006
ACM
16 years 22 days ago
2006
ACM
Web Content Accessibility guidelines by W3C [29] provide several suggestions for Web designers on how to author Web pages in order to make them accessible to everyone. In this con...
188
click to vote
CVPR
2010
IEEE
16 years 13 days ago
2010
IEEE
In this paper, we propose a new transductive learning framework for image retrieval, in which images are taken as vertices in a weighted hypergraph and the task of image search is...
156
click to vote
ACSD
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
165
click to vote
CGO
2005
IEEE
16 years 12 days ago
2005
IEEE
Optimization of a real world application BLAST is used to demonstrate the limitations of static and profile-guided optimizations and to highlight the potential of runtime optimiz...
199
click to vote
CRV
2005
IEEE
16 years 12 days ago
2005
IEEE
The work presented here solves two major problems of hand pose recognition: (A) determining what pose is shown in a given, input picture and (B) detecting the presence of a known ...