93 search results - page 12 / 19 » Causes and Explanations Revisited |
109
click to vote
EXACT
2008
15 years 1 months ago
2008
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
107
click to vote
MSWIM
2006
ACM
15 years 5 months ago
2006
ACM
A neural network based clustering method for the analysis of soft handovers in 3G network is introduced. The method is highly visual and it could be utilized in explorative analys...
APGV
2006
ACM
15 years 2 months ago
2006
ACM
Distances in immersive virtual environments (VEs) have been commonly reported as being spatially compressed while the same judgments are performed accurately in real space. Previo...
104
click to vote
SAT
2005
Springer
15 years 4 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...