Sciweavers

3047 search results - page 298 / 610
» Aggregation functions: Means
Sort
View
FOSSACS
2010
Springer
15 years 11 months ago
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
Andrzej S. Murawski, Nikos Tzevelekos
ECBS
2007
IEEE
209views Hardware» more  ECBS 2007»
15 years 11 months ago
Aspect-Oriented Modeling of Ubiquitous Web Applications: The aspectWebML Approach
Ubiquitous web applications (UWA) are required to be customizable, meaning their services need to be adaptable towards the context of use, e.g., user, location, time, and device. ...
Andrea Schauerhuber, Manuel Wimmer, Wieland Schwin...
RTAS
2007
IEEE
15 years 11 months ago
Optimizing the FPGA Implementation of HRT Systems
The availability of programmable hardware devices with high density of logic elements and the possibility of implementing CPUs (called softcores) using a fraction of the FPGA area...
Marco Di Natale, Enrico Bini
144
Voted
DAGM
2007
Springer
15 years 10 months ago
Curvature Guided Level Set Registration Using Adaptive Finite Elements
Abstract. We consider the problem of non-rigid, point-to-point registration of two 3D surfaces. To avoid restrictions on the topology, we represent the surfaces as a level-set of t...
Andreas Dedner, Marcel Lüthi, Thomas Albrecht...
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
15 years 10 months ago
Study on Hemispherical Soft-fingered Handling for fine Manipulation by Minimum D.O.F. Robotic Hand
— This paper provides that an elastic force and an elastic potential energy due to the deformation of soft fingers, which are previously derived, can be calculated into straight...
Takahiro Inoue, Shinichi Hirai