Sciweavers

2518 search results - page 67 / 504
» Using Communication Objects During Requirements Analysis
Sort
View
101
Voted
ICCS
2003
Springer
15 years 7 months ago
A Method of Hidden Markov Model Optimization for Use with Geophysical Data Sets
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
Robert A. Granat
IROS
2006
IEEE
142views Robotics» more  IROS 2006»
15 years 8 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...
ICIP
1998
IEEE
16 years 4 months ago
An Explicit Closed-Form Solution to the Limited-Angle Discrete Tomography Problem for Finite-Support Objects
: An explicit formula is presented for reconstructing a This article derives an explicit formula for the integer values finite-support object defined on a lattice of points and tak...
Andrew E. Yagle
111
Voted
CODES
2006
IEEE
15 years 8 months ago
Automatic run-time extraction of communication graphs from multithreaded applications
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
Ai-Hsin Liu, Robert P. Dick
157
Voted
ISSTA
2012
ACM
13 years 5 months ago
Static memory leak detection using full-sparse value-flow analysis
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
Yulei Sui, Ding Ye, Jingling Xue