5550 search results - page 802 / 1110 » Different Approaches to Proof Systems |
212
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
Significant advances in the field of configurable computing have enabled parallel processing within a single FieldProgrammable Gate Array (FPGA) chip. This paper presents the imple...
212
click to vote
IFIP12
2009
15 years 4 months ago
2009
Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products etc.). Social tagging...
205
click to vote
ICFHR
2010
15 years 1 months ago
2010
We present a complete online handwritten character recognition system for Indian languages that handles the ambiguities in segmentation as well as recognition of the strokes. The ...
208
click to vote
VR
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a recognition-driven navigation system for large-scale 3D virtual environments. The proposed system contains three parts, virtual environment reconstruction, feature da...
210
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...