Sciweavers

3645 search results - page 583 / 729
» Implementing mapping composition
Sort
View
ARC
2009
Springer
140views Hardware» more  ARC 2009»
15 years 12 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
15 years 12 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
15 years 12 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»
15 years 11 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
15 years 11 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