Sciweavers

71 search results - page 13 / 15
» Fast and Precise Points-to Analysis
Sort
View
NAACL
2003
13 years 11 months ago
TIPS: A Translingual Information Processing System
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...
Yaser Al-Onaizan, Radu Florian, Martin Franz, Hany...
VLSID
2005
IEEE
224views VLSI» more  VLSID 2005»
14 years 10 months ago
Accurate Stacking Effect Macro-Modeling of Leakage Power in Sub-100nm Circuits
An accurate and efficient stacking effect macro-model for leakage power in sub-100nm circuits is presented in this paper. Leakage power, including subthreshold leakage power and ga...
Shengqi Yang, Wayne Wolf, Narayanan Vijaykrishnan,...
CAIP
2005
Springer
220views Image Analysis» more  CAIP 2005»
14 years 3 months ago
Application of Automatic Image Registration in a Segmentation Framework of Pelvic CT Images
In radiation treatment (RT) planning, clinicians must trace the outline of a few critical structures on a large number of images. Using automated image segmentation could save trem...
Attila Tanács, Eörs Máté...
SIBGRAPI
2003
IEEE
14 years 2 months ago
Using Efficient Visual Exploration Techniques to Evaluate Features for Content-Based Image Retrieval
This paper presents a novel visual approach to evaluate, in a fast and effective way, the development of new image feature extraction techniques concerning content-based image ret...
José Fernando Rodrigues Jr., César A...
PPDP
2001
Springer
14 years 2 months ago
Polymorphic Directional Types for Logic Programming
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
Pawel Rychlikowski, Tomasz Truderung