4209 search results - page 432 / 842 » Abstract Dialectical Frameworks |
153
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
156
click to vote
GD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The Sugiyama framework is the most commonly used concept for visualizing directed graphs. It draws them in a hierarchical way and operates in four phases: cycle removal, ...
192
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
189
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
151
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—We propose a framework for clustering and visualization of images of face carvings at archaeological sites. The pairwise similarities among face carvings are computed by...