Sciweavers

2907 search results - page 35 / 582
» Presentations of Structures in Admissible Sets
Sort
View
GMP
2010
IEEE
190views Solid Modeling» more  GMP 2010»
14 years 1 months ago
A Subdivision Approach to Planar Semi-algebraic Sets
Abstract. Semi-algebraic sets occur naturally when dealing with implicit models and boolean operations between them. In this work we present an algorithm to efficiently and in a ce...
Angelos Mantzaflaris, Bernard Mourrain
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
14 years 1 months ago
Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models
The design of application (-domain) specific instructionset processors (ASIPs), optimized for code size, has traditionally been accompanied by the necessity to program assembly, ...
Qin Zhao, Bart Mesman, Twan Basten
PODC
2010
ACM
14 years 11 days ago
Distributed algorithms for edge dominating sets
An edge dominating set for a graph G is a set D of edges such that each edge of G is in D or adjacent to at least one edge in D. This work studies deterministic distributed approx...
Jukka Suomela
BMVC
2001
13 years 11 months ago
Combining 3D Deformable Models and Level Set Methods for the Segmentation of Abdominal Aortic Aneurysms
In this paper we present a system that combines the benefits of 3D deformable models and level set methods for medical volume segmentation. Our 3D deformable model is a very comp...
Derek R. Magee, Andrew J. Bulpitt, Elizabeth Berry
LOGCOM
2010
102views more  LOGCOM 2010»
13 years 7 months ago
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
Lawrence S. Moss