923 search results - page 154 / 185 » Proving the value of formal methods |
148
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this article, we describe a new method of extracting information from signals, called functional dissipation, that proves to be very effective for enhancing classification of h...
191
click to vote
VIS
2008
IEEE
16 years 7 months ago
2008
IEEE
The visualization of complex 3D images remains a challenge, a fact that is magnified by the difficulty to classify or segment volume data. In this paper, we introduce size-based tr...
272
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
154
click to vote
ATVA
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
145
click to vote
DATE
2008
IEEE
16 years 19 days ago
2008
IEEE
Synchronous Data Flow Graphs (SDFGs) have proved to be a very successful tool for modeling, analysis and synthesis of multimedia applications targeted at both single- and multiproc...