Sciweavers

138 search results - page 23 / 28
» Hybrid argumentation and its properties
Sort
View
MTA
2007
110views more  MTA 2007»
13 years 7 months ago
On aggregate available bandwidth in many-to-one data transfer - modeling and applications
Abstract This work investigates the modeling of aggregate available bandwidth in multisender network applications. Unlike the well-established client–server model, where there is...
S. C. Hui, Jack Y. B. Lee
ICRA
2009
IEEE
116views Robotics» more  ICRA 2009»
13 years 5 months ago
Kinematic analysis and optimal design of a 3T1R type parallel mechanism
In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...
Sung Mok Kim, Whee Kuk Kim, Byung-Ju Yi
TVCG
2011
126views more  TVCG 2011»
13 years 2 months ago
A Comparison of Gradient Estimation Methods for Volume Rendering on Unstructured Meshes
—This paper presents a study of gradient estimation methods for rendering unstructured-mesh volume data. Gradient estimation is necessary for rendering shaded isosurfaces and spe...
Carlos D. Correa, Robert Hero, Kwan-Liu Ma
TOG
2012
297views Communications» more  TOG 2012»
11 years 10 months ago
Adaptive manifolds for real-time high-dimensional filtering
We present a technique for performing high-dimensional filtering of images and videos in real time. Our approach produces high-quality results and accelerates filtering by compu...
Eduardo S. L. Gastal, Manuel M. Oliveira
ICFP
2009
ACM
14 years 8 months ago
Safe functional reactive programming through dependent types
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
Neil Sculthorpe, Henrik Nilsson