Sciweavers

313 search results - page 31 / 63
» Redundancy Elimination for LF
Sort
View
MUE
2007
IEEE
71views Multimedia» more  MUE 2007»
15 years 6 months ago
Query Predicate Preprocessing in Wireless Sensor Networks
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...
Min Meng, Hui Xu, Byeong-Soo Jeong, Sungyoung Lee,...
ADC
2007
Springer
107views Database» more  ADC 2007»
15 years 6 months ago
A Processing Model for the Optimal Querying of Encrypted XML Documents in XQuery
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...
Tao-Ku Chang, Gwan-Hwan Hwang
IPPS
2006
IEEE
15 years 5 months ago
Architecture of a multi-context FPGA using a hybrid multiple-valued/binary context switching signal
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...
Yoshihiro Nakatani, Masanori Hariyama, Michitaka K...
ISCAS
2005
IEEE
138views Hardware» more  ISCAS 2005»
15 years 5 months ago
An 11M-triangles/sec 3D graphics clipping engine for triangle primitives
—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...
Jaewan Bae, Donghyun Kim, Lee-Sup Kim
CSL
2005
Springer
15 years 5 months ago
Light Functional Interpretation
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...
Mircea-Dan Hernest