Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CAD
2015
Springer
4 years 10 months ago
A non-parametric approach to shape reconstruction from planar point sets through Delaunay filtering
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...
Jiju Peethambaran, Ramanathan Muthuganapathy
CAD
2015
Springer
4 years 10 months ago
Precise gouging-free tool orientations for 5-axis CNC machining
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...
Yong-Joon Kim, Gershon Elber, Michael Barton, Helm...
CAD
2015
Springer
4 years 10 months ago
A gesture-free geometric approach for mid-air expression of design intent in 3D virtual pottery
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...
Vinayak, Karthik Ramani
RELMICS
2015
Springer
4 years 10 months ago
Metaphorisms in Programming
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphor...
José N. Oliveira
RELMICS
2015
Springer
4 years 10 months ago
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective
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...
Fredrik Dahlqvist, David J. Pym
RELMICS
2015
Springer
4 years 10 months ago
Connections between Relation Algebras and Cylindric Algebras
Abstract. We give an informal description of a recursive representabilitypreserving reduction of relation algebras to cylindric algebras.
Ian M. Hodkinson
RELMICS
2015
Springer
4 years 10 months ago
Completeness and Incompleteness in Nominal Kleene Algebra
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 ...
Dexter Kozen, Konstantinos Mamouras, Alexandra Sil...
ACSC
2015
IEEE
4 years 10 months ago
Hourglass Systems
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...
Yuki Osada, Mark Reynolds, Tim French
ACSC
2015
IEEE
4 years 10 months ago
An Evaluation of POS Tagging for Tweets Using HMM Modelling
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...
Parma Nand, Rivindu Perera
ACSC
2015
IEEE
4 years 10 months ago
Visualising Moving Clusters using Cluster Flow Diagrams
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...
Jason Thompson, Torab Torabi
books