Image manipulation dates back long before the deep learning era. The classical prevailing approaches were based on maximizing patch similarity between the input and generated output. Recently, single-image GANs were i...
详细信息
The framework of finite-state systems is used to investigate the relative power of three fundamental notions: nondeterminism and pure parallelism, the two facets of alternation, and cooperative concurrency, whereby co...
详细信息
The learning environment AtoCC is presented to be of use in teaching abstract automata, formal languages, and some of its applications in compiler construction. From a teacher's perspective AtoCC aims to address a...
详细信息
ISBN:
(纸本)1595936033
The learning environment AtoCC is presented to be of use in teaching abstract automata, formal languages, and some of its applications in compiler construction. From a teacher's perspective AtoCC aims to address a broad range of different learning activities forcing the students to actively interact with the subjects being taught.
The vertices of most graphs that appear in real applications are non-uniform. They can be circles, ellipses, rectangles, or other geometric elements of varying shapes and sizes. Unfortunately, current force directed m...
详细信息
We present a graph drawing system for general undirected graphs with straight-line edges. It carries out a rather complex set of preprocessing steps, designed to produce a topologically good, but not necessarily nice-...
详细信息
We present an algorithm for drawing directed graphs, which is based on rapidly solving a unique one-dimensional optimization problem for each of the axes. The algorithm results in a clear description of the hierarchy ...
详细信息
A FPGA-based system suitable for augmented reality audio applications is presented. The sample application described here is adaptive noise cancellation (ANC). The system consists of a Spartan -3 FPGA XC3S400 board co...
详细信息
A FPGA-based system suitable for augmented reality audio applications is presented. The sample application described here is adaptive noise cancellation (ANC). The system consists of a Spartan -3 FPGA XC3S400 board connected to a Philips Stereo-Audio-Codec UCB 1400. The algorithms for the FIR filtering and for the adaption of the filter coefficients according to the Widrow-Hoff LMS algorithm are implemented on the FPGA board. Measurement results obtained with a dummy head measuring system are reported, and a detailed analysis of system performance and possible system improvements is given.
We present a novel approach to the aesthetic drawing of undirected graphs. The method has two phases: first embed the graph in a very high dimension and then project it into the 2-D plane using principal components an...
详细信息
We introduce an effcient decision procedure for the theory of equality based on finite instantiations. When using the finite instan- tiations method, it is a common practice to take a range of [1..n] (where n is the n...
详细信息
The paper considers the problem of uniform verification of parameterized systems by symbolic model checking, using formulas in FS1S (a syntactic variant of the 2nd order logic WS1S) for the symbolic representation of ...
详细信息
暂无评论