CAD
2015
Springer
8 years 2 days ago
2015
Springer
In this paper, we present a fully automatic Delaunay based sculpting algorithm for approximating the shape of a finite set of points S in R2 . The algorithm generates a relaxed G...
CAD
2015
Springer
8 years 2 days ago
2015
Springer
We present a precise approach to the generation of optimized collision-free and gouging-free tool paths for 5-axis CNC machining of freeform NURBS surfaces using flat-end and rou...
CAD
2015
Springer
8 years 2 days ago
2015
Springer
The advent of depth cameras has enabled mid-air interactions for shape modeling with bare hands. Typically, these interactions employ a finite set of pre-defined hand gestures t...
RELMICS
2015
Springer
8 years 2 days ago
2015
Springer
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphor...
RELMICS
2015
Springer
8 years 2 days ago
2015
Springer
We prove strong completeness of a range of substructural logics with respect to their relational semantics by completeness-viacanonicity. Specifically, we use the topological theo...
RELMICS
2015
Springer
8 years 2 days ago
2015
Springer
Abstract. We give an informal description of a recursive representabilitypreserving reduction of relation algebras to cylindric algebras.
RELMICS
2015
Springer
8 years 2 days ago
2015
Springer
Gabbay and Ciancia (2011) presented a nominal extension of Kleene algebra as a framework for trace semantics with statically scoped allocation of resources, along with a semantics ...
ACSC
2015
IEEE
8 years 6 days ago
2015
IEEE
In this paper, we first describe a simplified scenario observed in mining operations, where trucks are loaded and emptied at different locations. We will then look at ways that...
ACSC
2015
IEEE
8 years 6 days ago
2015
IEEE
Recently there has been an increased demand for natural language processing tools that work well on unstructured and noisy texts such as texts from Twitter messages. It has been s...
ACSC
2015
IEEE
8 years 6 days ago
2015
IEEE
Moving clusters represent groups of objects that move together, for instance, groups of people evacuating a building. However, because moving clusters are composed of lists of clu...