Sciweavers

377 search results - page 1 / 76
» Linear Tabling Strategies and Optimizations
Sort
View
CORR
2007
Springer
126views Education» more  CORR 2007»
13 years 4 months ago
Linear Tabling Strategies and Optimizations
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
INFOCOM
2002
IEEE
13 years 9 months ago
A Framework for Optimal Battery Management for Wireless Nodes
The focus of this paper is to extend the lifetime of a battery powered node in wireless context. The lifetime of a battery depends on both the manner of discharge and the transmis...
Maria Adamou, Saswati Sarkar
ICIP
2000
IEEE
14 years 6 months ago
Effective Channel Coding for DCT Watermarks
We describe effective channel coding strategies which can be used in conjunction with linear programming optimization techniques for the embedding of robust perceptually adaptive ...
Shelby Pereira, Sviatoslav Voloshynovskiy, Thierry...
PADL
2010
Springer
13 years 6 months ago
A Simple and Efficient Implementation of Concurrent Local Tabling
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
Rui Marques, Terrance Swift, José C. Cunha
PPDP
2004
Springer
13 years 10 months ago
Semi-naive evaluation in linear tabling
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato