Sciweavers

1638 search results - page 209 / 328
» Properties of input-consuming derivations
Sort
View
CBSE
2004
Springer
15 years 12 months ago
TESTEJB - A Measurement Framework for EJBs
Specification of Quality of Service (QoS) for components can only be done in relation to the QoS the components themselves are given by imported components. Developers as well as ...
Marcus Meyerhöfer, Christoph P. Neumann
CSL
2004
Springer
15 years 12 months ago
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...
Pietro Di Gianantonio
ISCIS
2004
Springer
15 years 12 months ago
Modeling Dynamic Web Content
Web sites have become increasingly complex and offer a large variety of services and contents. The proliferation of dynamic Web contents opens up new challenging performance and s...
Antonio Barili, Mariacarla Calzarossa, Daniele Tes...
ICRA
2003
IEEE
122views Robotics» more  ICRA 2003»
15 years 11 months ago
Complementarity formulation for multi-fingered hand manipulation with rolling and sliding contacts
— We propose a novel complementarity model for a general three-dimensional manipulation system with rolling and sliding contacts to solve the forward dynamics problem. The key id...
Masahito Yashima, Hideya Yamaguchi
DAGM
2003
Springer
15 years 11 months ago
Colour Image Analysis in 3D-Polar Coordinates
The use of 3D-polar coordinate representations of the RGB colour space is widespread, although many of these representations, such as HLS and HSV, have deficiencies rendering them...
Allan Hanbury, Jean Serra