Sciweavers

3281 search results - page 474 / 657
» An Approach to use Executable Models for Testing
Sort
View
94
Voted
CGO
2004
IEEE
15 years 2 months ago
VHC: Quickly Building an Optimizer for Complex Embedded Architectures
To meet the high demand for powerful embedded processors, VLIW architectures are increasingly complex (e.g., multiple clusters), and moreover, they now run increasingly sophistica...
Michael Dupré, Nathalie Drach, Olivier Tema...
76
Voted
BMCBI
2006
147views more  BMCBI 2006»
14 years 10 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff
101
Voted
ICCV
2011
IEEE
13 years 10 months ago
Shape-constrained Gaussian Process Regression for Facial-point-based Head-pose Normalization
Given the facial points extracted from an image of a face in an arbitrary pose, the goal of facial-point-based headpose normalization is to obtain the corresponding facial points ...
Ognjen Rudovic, Maja Pantic
RE
2006
Springer
14 years 10 months ago
On Goal-based Variability Acquisition and Analysis
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Er...
IROS
2006
IEEE
142views Robotics» more  IROS 2006»
15 years 4 months ago
Integrated Grasp Planning and Visual Object Localization For a Humanoid Robot with Five-Fingered Hands
— In this paper we present a framework for grasp planning with a humanoid robot arm and a five-fingered hand. The aim is to provide the humanoid robot with the ability of grasp...
Antonio Morales, Tamim Asfour, Pedram Azad, Steffe...