Sciweavers

581 search results - page 3 / 117
» Component specialization
Sort
View
IMAGING
2003
13 years 6 months ago
Illuminant Multiplexed Imaging: Special Effects Using GCR
A novel spectral imaging technique is presented that allows multiple grayscale images to be combined in a single hardcopy print. The images are individually revealed when the prin...
Gaurav Sharma, Robert P. Loce, Steven J. Harringto...
KSEM
2010
Springer
13 years 3 months ago
A SOM-Based Technique for a User-Centric Content Extraction and Classification of Web 2.0 with a Special Consideration of Securi
Web 2.0 is much more than adding a nice facade to old web applications rather it is a new way of thinking about software architecture of Rich Internet Applications (RIA). In compar...
Amirreza Tahamtan, Amin Anjomshoaa, Edgar Weippl, ...
ICLP
2005
Springer
13 years 10 months ago
A Generic Framework for the Analysis and Specialization of Logic Programs
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
Germán Puebla, Elvira Albert, Manuel V. Her...
DAGSTUHL
1996
13 years 6 months ago
A Uniform Approach for Compile-Time and Run-Time Specialization
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
Charles Consel, Luke Hornof, François No&eu...
JSAT
2008
122views more  JSAT 2008»
13 years 5 months ago
SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results
The local search algorithm GSAT is based on the notion of Satisfiability. It has been used successfully for colouring graphs, solving instances of the 3SAT problem, planning block...
Sriyankar Acharyya