Sciweavers

1416 search results - page 180 / 284
» An Intelligent IT Infrastructure for the Future
Sort
View
KI
2008
Springer
13 years 9 months ago
Can Argumentation Help AI to Understand Explanation?
ed from context by seeing an explanation inferentially, much in the same way that early expert systems saw an explanation as chaining of inferences. This approach omitted, for the ...
Doug Walton
LATA
2009
Springer
14 years 4 months ago
A Cryptosystem Based on the Composition of Reversible Cellular Automata
We present conditions which guarantee that a composition of marker cellular automata has the same neighbourhood as each of the individual components. We show that, under certain te...
Adam Clarridge, Kai Salomaa
WOLLIC
2009
Springer
14 years 3 months ago
Spoilt for Choice: Full First-Order Hierarchical Decompositions
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
Sebastian Link
IDA
2009
Springer
14 years 3 months ago
The 2008 Signal Separation Evaluation Campaign: A Community-Based Approach to Large-Scale Evaluation
Abstract. This paper introduces the first community-based Signal Separation Evaluation Campaign (SiSEC 2008), coordinated by the authors. This initiative aims to evaluate source s...
Emmanuel Vincent, Shoko Araki, Pau Bofill
ACSAC
2007
IEEE
14 years 3 months ago
Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cl...