Sciweavers

2049 search results - page 50 / 410
» Normalization and Partial Evaluation
Sort
View
CORR
2002
Springer
93views Education» more  CORR 2002»
13 years 8 months ago
Logic program specialisation through partial deduction: Control issues
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
Michael Leuschel, Maurice Bruynooghe
ICIP
2008
IEEE
14 years 10 months ago
General-purpose reduced-reference image quality assessment based on perceptually and statistically motivated image representatio
Divisive normalization has been recognized as a successful approach to model the perceptual sensitivity of biological vision. It also provides a useful image representation that i...
Qiang Li, Zhou Wang
BIOCOMP
2006
13 years 10 months ago
A Relational Genomics Search Engine
We report on the development of a relational genomic search engine that integrates search of structured biological data and biomedical literature. After identifying an optimal prep...
Jay Urbain, Nazli Goharian
AIPS
2009
13 years 10 months ago
A Conformant Planner with Explicit Disjunctive Representation of Belief States
This paper describes a novel and competitive complete conformant planner. Key to the enhanced performance is an efficient encoding of belief states as disjunctive normal form form...
Son Thanh To, Enrico Pontelli, Tran Cao Son
DAGSTUHL
1996
13 years 10 months ago
Global Control for Partial Deduction through Characteristic Atoms and Global Trees
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
Michael Leuschel, Bern Martens