Sciweavers

Share
CADE
2011
Springer
8 years 6 months ago
Exploiting Symmetry in SMT Problems
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
David Déharbe, Pascal Fontaine, Stephan Mer...
CADE
2011
Springer
8 years 6 months ago
Static Analysis of Android Programs
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
Étienne Payet, Fausto Spoto
CAGD
2010
132views more  CAGD 2010»
9 years 3 months ago
Skinning of circles and spheres
Skinning of an ordered set of discrete circles is discussed in this paper. By skinning we mean the geometric construction of two G1 continuous curves touching each of the circles ...
R. Kunkli, M. Hoffmann
CAGD
2010
125views more  CAGD 2010»
9 years 4 months ago
Precise Hausdorff distance computation between polygonal meshes
We present an exact algorithm for computing the precise Hausdorff distance between two general polyhedra represented as triangular meshes. The locus of candidate points, events wh...
Michael Barton, Iddo Hanniel, Gershon Elber, Myung...
CAGD
2010
132views more  CAGD 2010»
9 years 4 months ago
Simplicial diffeomorphisms
In this paper we introduce a new framework for geometric modeling that combines implicit and parametric surface representations with volumetric warpings. The framework is based on...
Vinícius Mello, Luiz Velho
AMSTERDAM
2009
9 years 4 months ago
Pluractionality and the Unity of the Event
This paper exposes shortcomings of an analysis to single-event plural verbs (Cusic’s event-internal pluractionals) based on temporal discontinuity. It shows how to ground discont...
Lucia M. Tovena
AMSTERDAM
2009
9 years 4 months ago
A Formal Semantics for Iconic Spatial Gestures
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
Gianluca Giorgolo
AMSTERDAM
2009
9 years 4 months ago
There Is Something about Might
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
Paul Dekker
books