Sciweavers

9316 search results - page 174 / 1864
» Analysis of traceback techniques
Sort
View
PEPM
1994
ACM
15 years 8 months ago
PERs from Projections for Binding-Time Analysis
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
Kei Davis
136
Voted
ESOP
2000
Springer
15 years 7 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
160
Voted
ICCAD
2003
IEEE
154views Hardware» more  ICCAD 2003»
16 years 28 days ago
Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
Claire Fang Fang, Rob A. Rutenbar, Tsuhan Chen
ICITA
2005
IEEE
15 years 9 months ago
Combining Diversity-Based Active Learning with Discriminant Analysis in Image Retrieval
Small-sample learning in image retrieval is a pertinent and interesting problem. Relevance feedback is an active area of research that seeks to find algorithms that are robust wi...
Charlie K. Dagli, ShyamSundar Rajaram, Thomas S. H...
ICMCS
2005
IEEE
112views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Authentic: Computerized Brushstroke Analysis
The paper provides insights into our efforts to develop techniques for the analysis of visual art. The AUTHENTIC project aims at creating a collection of software tools to support...
Igor Berezhnoy, Eric O. Postma, H. Jaap van den He...