Sciweavers

1058 search results - page 150 / 212
» Search Strategies for Automatic Performance Analysis Tools
Sort
View
FCCM
2004
IEEE
109views VLSI» more  FCCM 2004»
15 years 1 months ago
Unifying Bit-Width Optimisation for Fixed-Point and Floating-Point Designs
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...
Altaf Abdul Gaffar, Oskar Mencer, Wayne Luk, Peter...
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 1 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
ISBI
2008
IEEE
15 years 4 months ago
Morphological-based adaptive segmentation and quantification of cell assays in high content screening
In fluorescence-labelled cell assays for high content screening applications, image processing software is necessary to have automatic algorithms for segmenting the cells individ...
Jesús Angulo, Béatrice Schaack
ECCV
2004
Springer
15 years 3 months ago
Statistical Imaging for Modeling and Identification of Bacterial Types
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
Sigal Trattner, Hayit Greenspan, Gabi Tepper, Shim...
LAWEB
2003
IEEE
15 years 3 months ago
On the Image Content of the Chilean Web
In this paper we perform a study of the image contents of the Chilean web (.cl domain) using automatic feature extraction, content-based analysis and face detection algorithms. In...
Alejandro Jaimes, Javier Ruiz-del-Solar, Rodrigo V...