Sciweavers

283 search results - page 47 / 57
» Strategies to Minimize Problems in Global Requirements Elici...
Sort
View
ICASSP
2010
IEEE
13 years 8 months ago
A symmetric adaptive algorithm for speeding-up consensus
Performing distributed consensus in a network has been an important research problem for several years, and is directly applicable to sensor networks, autonomous vehicle formation...
Daniel Thai, Elizabeth Bodine-Baron, Babak Hassibi
TMI
2008
149views more  TMI 2008»
13 years 9 months ago
Shape-Driven Three-Dimensional Watersnake Segmentation of Biological Membranes in Electron Tomography
Abstract--Due to the significant complexity of membrane morphology and the generally poor image quality in electron tomographic volumes, current automatic methods for segmentation ...
Hieu Tat Nguyen, Qiang Ji
TIP
2010
205views more  TIP 2010»
13 years 4 months ago
Variational Region-Based Segmentation Using Multiple Texture Statistics
This paper addresses variational supervised texture segmentation. The main contributions are twofold. First, the proposed method circumvents a major problem related to classical t...
Imen Karoui, Ronan Fablet, Jean-Marc Boucher, Jean...
PLDI
2011
ACM
13 years 19 days ago
Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
Ashwin Prasad, Jayvant Anantpur, R. Govindarajan
TABLEAUX
2005
Springer
14 years 3 months ago
A Tableau-Based Explainer for DL Subsumption
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
Thorsten Liebig, Michael Halfmann