491
click to vote
3DIM
2015
IEEE
10 years 23 days ago
2015
IEEE
Local coordinate frame (LCF) is a key component deployed in most 3D descriptors for invariant representations of 3D surfaces. This paper addresses the problem of attaching a LCF t...
553
click to vote
3DIM
2015
IEEE
10 years 23 days ago
2015
IEEE
In this work we study the interpolation problem in contouring methods such as Marching Cubes. Traditionally, linear interpolation is used to define the position of an isovertex a...
104
click to vote
IFIP8
2013
10 years 24 days ago
2013
This case study covers the story of a process reengineering effort at Belgacom Mobile, the largest Belgian mobile telecommunications operator. It describes how a smart combination...
ENVIROINFO
2013
10 years 24 days ago
2013
"Smart" solutions have considerable transformational power. From the perspective of Environmental Informatics, it is an open question whether a specific smart solution (...
ECLAP
2013
10 years 24 days ago
2013
Abstract. In this paper we present a project of creating a web based interactive encyclopedia of historical knowledge related to the history of the religions, the Bible and the his...
219
click to vote
CIAC
2013
Springer
10 years 24 days ago
2013
Springer
In network activation problems we are given a directed or undirected graph G = (V, E) with a family {fuv (xu, xv) : (u, v) ∈ E} of monotone non-decreasing activation functions fr...
ADBIS
2013
Springer
10 years 24 days ago
2013
Springer
TEI
2014
ACM
10 years 24 days ago
2014
ACM
The use of autonomous behaviour in Tangible User Interfaces can potentially create a compelling and new kind of interaction between humans and computers. We motivate this argument...
223
click to vote
TACAS
2014
Springer
10 years 24 days ago
2014
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region, in which nothing “bad” happens. Equival...
148
click to vote
NFM
2014
10 years 24 days ago
2014
Abstract. RTCA DO-333, Formal Methods Supplement to DO-178C and DO278A, provides guidance for software developers wishing to use formal methods in the certification of airborne sys...