313 search results - page 31 / 63 » Redundancy Elimination for LF |
MUE
2007
IEEE
15 years 6 months ago
2007
IEEE
With the developments of related techniques in telecommunication and computer sciences, wireless sensor networks have been used more and more widely. While sensor nodes in wireles...
ADC
2007
Springer
15 years 6 months ago
2007
Springer
XQuery is a powerful and convenient language that is designed for querying the data in XML documents. In this paper, we address how to optimally query encrypted XML documents usin...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Multi-context FPGAs have multiple memory bits per configuration bit forming configuration planes for fast switching between contexts. Large amount of memory causes significant ove...
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
—This paper describes a clipping engine, which processes the view clipping, perspective division, and view-port mapping of 3D graphics. Complexity of polygon clipping algorithm c...
CSL
2005
Springer
15 years 5 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...