3765 search results - page 650 / 753 » Formal Methods for Systems Engineering Behavior Models |
114
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Heteregenous multiprocessor SoCs are becoming a reality, largely due to the abundance of transistors, intellectual property cores and powerful design tools. In this project, we ex...
133
click to vote
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a novel approach to the segmentation and analysis of vasculature from volumetric medical image data. Our method is an adoption and significant extension of deformable o...
139
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
135
click to vote
ACL
1997
15 years 3 months ago
1997
Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...
122
Voted
KDD
2005
ACM
16 years 2 months ago
2005
ACM
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...