873 search results - page 106 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
182
click to vote
CIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. It is necessary to analyze an image from CT or MR and then to segment an image of a certain organ from that of other tissues for 3D (ThreeDimensional) visualization. Ther...
140
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
185
click to vote
ICANN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. A previous paper [2] presented a model (UCPF-HC) of the hippocampus as a unitary coherent particle filter, which combines the classical hippocampal roles of associative m...
168
click to vote
OOPSLA
2000
Springer
15 years 9 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
196
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...