In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
In this paper, we propose a generic description of the concept lattice as classifier in an iterative recognition process. We also present the development of a new structural signat...
In the context of web search engines, the escalation between ranking techniques and spamdexing techniques has led to the appearance of faked contents in web pages. If random sequen...
In this demonstration we present an advanced prototype of a content delivery system that we have developed to assist in the explanation of government statistical terms. We describ...
We consider the power of single level circuits in the context of graph complexity. We first prove that the single level conjecture fails for fanin-2 circuits over the basis {, , 1...