Sciweavers

4353 search results - page 761 / 871
» Expressiveness of Process Algebras
Sort
View
IJCINI
2007
112views more  IJCINI 2007»
14 years 10 months ago
Neo-Symbiosis: The Next Stage in the Evolution of Human Information Interaction
The purpose of this paper is to re-address the vision of human-computer symbiosis as originally expressed by J.C.R. Licklider nearly a half-century ago and to argue for the releva...
Douglas Griffith, Frank L. Greitzer
TCS
2008
14 years 9 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...
CAGD
2005
88views more  CAGD 2005»
14 years 9 months ago
An efficient bit allocation for compressing normal meshes with an error-driven quantization
We propose a new wavelet compression algorithm based on the rate-distortion optimization for densely sampled triangular meshes. Exploiting the normal remesher of Guskov et al., th...
Frédéric Payan, Marc Antonini
TROB
2008
105views more  TROB 2008»
14 years 9 months ago
Robot-to-Robot Relative Pose Estimation From Range Measurements
In this paper, we address the problem of determining the 2D relative pose of pairs of communicating robots from (i) robot-to-robot distance measurements and (ii) displacement estim...
Xun S. Zhou, Stergios I. Roumeliotis
VC
2008
172views more  VC 2008»
14 years 9 months ago
Consistent mesh partitioning and skeletonisation using the shape diameter function
Abstract Mesh partitioning and skeletonisation are fundamental for many computer graphics and animation techniques. Because of the close link between an object's skeleton and ...
Lior Shapira, Ariel Shamir, Daniel Cohen-Or