Sciweavers

159 search results - page 24 / 32
» Appearance preserving octree-textures
Sort
View
110
Voted
TCS
2011
14 years 6 months ago
On the relationship between fuzzy and Boolean cellular automata
Fuzzy cellular automata (FCA) are continuous cellular automata where the local rule is defined as the “fuzzification" of the local rule of a corresponding Boolean cellula...
Heather Betel, Paola Flocchini
POPL
2010
ACM
15 years 9 months ago
Dependent types and program equivalence
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
Jianzhou Zhao, Limin Jia, Stephanie Weirich, Vilhe...
LICS
2010
IEEE
14 years 10 months ago
Weak Equivalences in Psi-Calculi
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
Magnus Johansson, Jesper Bengtson, Joachim Parrow,...
RAS
2007
124views more  RAS 2007»
14 years 11 months ago
Compensation of velocity and/or acceleration joint saturation applied to redundant manipulator
The article describes a new method for velocity/acceleration redistribution in order to compensate joint velocity and/or acceleration saturation. The method is designed for redund...
Damir Omrcen, Leon Zlajpah, Bojan Nemec
89
Voted
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
14 years 10 months ago
Detection and filtering of landmark occlusions using Terrain Spatiograms
— A team of robots cooperating to quickly produce a map needs to share landmark information between members so that the local maps can be accurately merged. However, the appearan...
Damian M. Lyons