Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Transforms are an important part of an engineer’s toolkit for solving signal processing and polynomial computation problems. In contrast to the Fourier transform-based approaches where a fixed window is used uniformly for a range of frequencies, the wavelet transform uses short windows at high frequencies and long windows at low frequencies. This way, the characteristics of non-stationary disturbances can be more closely monitored. In other words, both time and frequency information can be obtained by wavelet transform. Instead of transforming a pure time description into a pure frequency description, the wavelet transform finds a good promise in a time-frequency description. Due to its inherent time-scale locality characteristics, the discrete wavelet transform (DWT) has received considerable attention in digital signal processing (speech and image processing), communication, computer science and mathematics. Wavelet transforms are known to have excellent energy compaction characteristics and are able to provide perfect reconstruction. Therefore, they are ideal for signal/image processing. The shifting (or translation) and scaling (or dilation) are unique to wavelets. Orthogonality of wavelets with respect to dilations leads to multigrid representation. The nature of wavelet computation forces us to carefully examine the implementation methodologies. As the computation of DWT involves filtering, an efficient filtering process is essential in DWT hardware implementation. In the multistage DWT, coefficients are calculated recursively, and in addition to the wavelet decomposition stage, extra space is required to store the intermediate coefficients. Hence, the overall performance depends significantly on the precision of the intermediate DWT coefficients. This work presents new implementation techniques of DWT, that are efficient in terms of computation requirement, storage requirement, and with better signal-to-noise ratio in the reconstructed signal.

Complex analysis --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- computervisie --- beeldverwerking --- complexe analyse (wiskunde) --- bedrijfssoftware --- computers --- computerkunde --- signaalverwerking --- Digital images --- Wavelets (Mathematics) --- Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.

Mathematical logic --- Logic --- Complex analysis --- Computer science --- Computer architecture. Operating systems --- complexe analyse (wiskunde) --- bedrijfssoftware --- computers --- ontwerpen --- programmeren (informatica) --- wiskunde --- logica --- computerkunde --- Computer science. --- Computer software. --- Logic design.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the papers presented at the 16th Annual International Conference on Algorithmic Learning Theory (ALT 2005), which was held in S- gapore (Republic of Singapore), October 8-11, 2005. The main objective of the conference is to provide an interdisciplinary forum for the discussion of the t- oretical foundations of machine learning as well as their relevance to practical applications. The conference was co-located with the 8th International Conf- enceonDiscoveryScience(DS2005). Theconferencewasalsoheldinconjunction with the centennial celebrations of the National University of Singapore. The volume includes 30 technical contributions, which were selected by the program committee from 98 submissions. It also contains the ALT 2005 invited talks presented by Chih-Jen Lin (National Taiwan University, Taipei, Taiwan) on Training Support Vector Machines via SMO-type Decomposition Methods,  and by Vasant Honavar (Iowa State University, Ames, Iowa, USA) on Al- rithmsandSoftwareforCollaborativeDiscoveryfromAutonomous,Semantically Heterogeneous, Distributed, Information Sources.  Furthermore, this volume - cludes an abstract of the joint invited talk with DS 2005 presented by Gary L. Bradshaw (Mississippi State University, Starkville, USA) on Invention and Arti?cial Intelligence,  and abstracts of the invited talks for DS 2005 presented by Ross D. King (The University of Wales, Aberystwyth, UK) on The Robot Scientist Project,  and by Neil Smalheiser (University of Illinois at Chicago, Chicago, USA) on The Arrowsmith Project: 2005 Status Report.  The c- plete versions of these papers are published in the DS 2005 proceedings (Lecture Notes in Computer Science Vol. 3735).

Mathematical logic --- Complex analysis --- Graphics industry --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- complexe analyse (wiskunde) --- grafische technieken --- informatica --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots --- Computer algorithms --- Machine learning

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing in Sensor Systems, DCOSS 2008, held on Santorini Island, Greece, in June 2008. The 29 revised full papers and 12 revised short papers presented were carefully reviewed and selected from 116 submissions. The papers propose a multitude of novel algorithmic design and analysis techniques, systematic approaches and application development methodologies for distributed sensor networking. The papers cover aspects including energy management, communication, coverage and tracking, time synchronization and scheduling, key establishment and authentication, compression, medium access control, code update, and mobility.

Complex analysis --- Discrete mathematics --- Mass communications --- Computer science --- Computer architecture. Operating systems --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- database management --- programmatielogica --- OS (operating system) --- computernetwerken --- communicatietechnologie --- Sensor networks --- Multisensor data fusion --- Mobile computing --- Data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 14th IAPR TC-18 International Conference on Discrete Geometry for Computer Imagery, DGCI 2008, held in Lyon, France, in April 2008. The 23 revised full papers and 22 revised poster papers presented together with 3 invited papers were carefully reviewed and selected from 76 submissions. The papers are organized in topical sections on models for discrete geometry, discrete and combinatorial topology, geometric transforms, discrete shape representation, recognition and analysis, discrete tomography, morphological analysis, discrete modelling and visualization, as well as discrete and combinatorial tools for image segmentation and analysis.

Complex analysis --- Discrete mathematics --- Mathematical statistics --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- patroonherkenning --- beeldverwerking --- factoranalyse --- discrete wiskunde --- complexe analyse (wiskunde) --- vormgeving --- grafische vormgeving --- informatica --- simulaties --- KI (kunstmatige intelligentie) --- Computer graphics --- Discrete geometry --- Geometric tomography --- Data processing