Sciweavers

2018 search results - page 90 / 404
» Code Normal Forms
Sort
View
TMM
2002
139views more  TMM 2002»
15 years 1 months ago
Robust progressive image transmission over OFDM systems using space-time block code
A joint source-channel coding (JSCC) scheme for robust progressive image transmission over broadband wireless channels using orthogonal frequency division multiplexing (OFDM) syste...
Jie Song, K. J. Ray Liu
CORR
2010
Springer
174views Education» more  CORR 2010»
14 years 11 months ago
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
Mads Dam, Andreas Lundblad
201
Voted
ICDE
2006
IEEE
169views Database» more  ICDE 2006»
16 years 3 months ago
Making Designer Schemas with Colors
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...
Nuwee Wiwatwattana, H. V. Jagadish, Laks V. S. Lak...
124
Voted
LPNMR
2007
Springer
15 years 8 months ago
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
Joohyung Lee, Ravi Palla
DKE
2006
118views more  DKE 2006»
15 years 2 months ago
Clustering e-commerce search engines based on their search interface pages using WISE-Cluster
In this paper, we propose a new approach to clustering e-commerce search engines (ESEs) on the Web. Our approach utilizes the features available on the interface page of each ESE,...
Yiyao Lu, Hai He, Qian Peng, Weiyi Meng, Clement T...