Sciweavers

3645 search results - page 583 / 729
» Implementing mapping composition
Sort
View
ARC
2009
Springer
140views Hardware» more  ARC 2009»
16 years 1 months ago
FPGA-Based Anomalous Trajectory Detection Using SOFM
A system for automatically classifying the trajectory of a moving object in a scene as usual or suspicious is presented. The system uses an unsupervised neural network (Self Organi...
Kofi Appiah, Andrew Hunter, Tino Kluge, Philip Aik...
FOSSACS
2009
Springer
16 years 1 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
IPMI
2009
Springer
16 years 1 months ago
A Framework for Brain Registration via Simultaneous Surface and Volume Flow
Abstract. Volumetric registration of brain MR images presents a challenging problem due to the wide variety of sulcal folding patterns. We present a novel volumetric registration m...
Anand A. Joshi, Richard M. Leahy, Arthur W. Toga, ...
DATE
2009
IEEE
111views Hardware» more  DATE 2009»
16 years 1 months ago
Enabling concurrent clock and power gating in an industrial design flow
— Clock-gating and power-gating have proven to be very effective solutions for reducing dynamic and static power, respectively. The two techniques may be coupled in such a way th...
Leticia Maria Veiras Bolzani, Andrea Calimera, Alb...
SEMCO
2009
IEEE
16 years 1 months ago
Towards a Global Business Document Reference Ontology
In the field of business document standardization a multitude of different standardization efforts exist. Unfortunately, most of the developed standards are designed for a speci...
Philipp Liegl, Christian Huemer, Marco Zapletal