249 search results - page 31 / 50 » Validating Architectural Feature Descriptions using LOTOS |
127
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: Analysis of Cerebrospinal Fluid (CSF) samples holds great promise to diagnose neurological pathologies and gain insight into the molecular background of these patholog...
126
click to vote
EUROMICRO
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
114
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
The standard algorithm for alignment of DNA sequences using dynamic programming has been implemented on the Cray MTA-2 (Multithreaded Architecture-2) at ENRI (Electronic Navigatio...
SMA
2003
ACM
15 years 6 months ago
2003
ACM
This paper presents a new method to compute constructive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The algorith...