792 search results - page 152 / 159 » Value Based Argumentation Frameworks |
162
click to vote
VMCAI
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
135
Voted
SDM
2009
SIAM
16 years 10 days ago
2009
SIAM
This paper demonstrates the applicability of the recently proposed supervised dimension reduction, hierarchical linear discriminant analysis (h-LDA) to a well-known spatial locali...
131
click to vote
ICCAD
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
156
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
139
click to vote
CONTEXT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents a statistical framework based on Principal Component Analysis (PCA) for discovering the contextual factors which most strongly influence user behavio...