Due to memory bandwidth limitations and computational complexity considerations in hardware implementations, block matching combined with lscr 1 error norm and translational motion model is preferred in motion-estima...
详细信息
Due to memory bandwidth limitations and computational complexity considerations in hardware implementations, block matching combined with lscr 1 error norm and translational motion model is preferred in motion-estimation algorithms. Performance of this scheme is degraded by noise, compression artifacts, rotation, repeating structures, motion boundaries, zooming, and brightness changes. In this work, we present a Bayesian approach to incorporate prior information into block matching. Hypothesis testing is utilized to choose the most applicable prior motion vector and to compute a prior motion-vector distribution and its precision. Prior distribution is then updated with motion-vector likelihood derived from pixel data to obtain the posterior distribution, which is maximized via a search on the feasible motion-vector space.
The Interactive Development Environment MOSILAB has been built using a couple of Python based technologies. This paper reports on the experiences gained during this process.
The Interactive Development Environment MOSILAB has been built using a couple of Python based technologies. This paper reports on the experiences gained during this process.
This paper presents the use of the Unified Modeling Language (UML) in the context of object-oriented modelling and simulation of hybrid systems with Modelica. The definition of a specialized version of UML for the gra...
详细信息
This paper presents the use of the Unified Modeling Language (UML) in the context of object-oriented modelling and simulation of hybrid systems with Modelica. The definition of a specialized version of UML for the graphical description and model based development of hybrid systems in Modelica - the UMLH - was taken place in the GENSIM project [1, 2]. For a better support of the modelling process, an UMLH editor with different views (class diagrams, statechart diagrams, collaboration diagrams) was implemented as a part of the Modelica simulation tool MOSILAB [3]. In the EOOLTworkshop the use of UMLH and its semantics will be demonstrated by the development of a simplified model of a Pool-Billiard game in Modelica.
The latest research in the development of technologies that will allow humans to communicate, using brain signals only, with computers, wheelchairs, prostheses, and other *** in developing an effective communication i...
详细信息
ISBN:
(纸本)9780262042444
The latest research in the development of technologies that will allow humans to communicate, using brain signals only, with computers, wheelchairs, prostheses, and other *** in developing an effective communication interface connecting the human brain and a computer has grown rapidly over the past decade. The brain-computer interface (BCI) would allow humans to operate computers, wheelchairs, prostheses, and other devices, using brain signals only. BCI research may someday provide a communication channel for patients with severe physical disabilities but intact cognitive functions, a working tool in computational neuroscience that contributes to a better understanding of the brain, and a novel independent interface for human-machine communication that offers new options for monitoring and control. This volume presents a timely overview of the latest BCI research, with contributions from many of the important research groups in the field. The book covers a broad range of topics, describing work on both noninvasive (that is, without the implantation of electrodes) and invasive approaches. Other chapters discuss relevant techniques from machine learning and signal processing, existing software for BCI, and possible applications of BCI research in the real world.
E-CNF is hybrid of Boolean formula and mathematic formula. SAT-based arithmetic circuit bug-hunting method translates the verification problem into E-CNF, and solves E-CNF through E-SAT solver, E-SAT solver is an exte...
详细信息
E-CNF is hybrid of Boolean formula and mathematic formula. SAT-based arithmetic circuit bug-hunting method translates the verification problem into E-CNF, and solves E-CNF through E-SAT solver, E-SAT solver is an extension of complete SAT solver, with tag clause technique. Experiments show that SAT-based arithmetic bug-hunting method is powerful in finding bugs in arithmetic circuits.
The Technical University of Berlin has the objective to develop such components, which are not available yet. The first device under development is the so called "micro wheel", which is designed to be used i...
详细信息
The Technical University of Berlin has the objective to develop such components, which are not available yet. The first device under development is the so called "micro wheel", which is designed to be used in pico satellites, allowing a precise 3-axis attitude stabilization. The verification of these wheels in space will be done by BEESAT, the first pico satellite of TU Berlin. The main objective of BeeSat is the on orbit verification of newly developed micro wheels for pico satellite applications. These wheels, with the size of a one Euro coin in diameter, supported by DLR (FKZ 50JR0552) and developed in cooperation with Astro-und Feinwerktechnik, will drastically improve the actuation capabilities of pico satellites.
The usage of advanced audio processing algorithms in products has always been limited by the available processing power. For powerful concepts like the wave field synthesis (WFS) the performance is limited by the exec...
详细信息
The usage of advanced audio processing algorithms in products has always been limited by the available processing power. For powerful concepts like the wave field synthesis (WFS) the performance is limited by the execution speed. In the past it was possible to increase the performance of digital signal processors by increasing the clock rate. The next generation will be highly parallel heterogeneous multi-processor systems. This paper presents a now parallel processor architecture and the first stops towards an adequate optimization of WFS. A software development environment which assists in creating scalable programs for highly parallel hardware will be further explained. An enhanced WFS convolution structure is presented which use position dependent filtering and improve the interpolation necessary for moving sound sources.
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of such a component the compatibility of...
详细信息
ISBN:
(纸本)1595934138
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of such a component the compatibility of different Wiki systems can be improved and the simplicity of the Wiki way is now ready for deployment in business applications. This paper explains how this component emerged from its host Wiki SnipSnap and how it enables software developers to integrate the Wiki way into their own implementations and other software. Copyright 2006 ACM.
暂无评论