Sciweavers

950 search results - page 48 / 190
» Type Specialization in Aldor
Sort
View
GMP
2006
IEEE
108views Solid Modeling» more  GMP 2006»
14 years 2 months ago
Towards Unsupervised Segmentation of Semi-rigid Low-Resolution Molecular Surfaces
In this paper, we study a particular type of surface segmentation problem motivated by molecular biology applications. In particular, two input surfaces are given, coarsely modeli...
Yusu Wang, Leonidas J. Guibas
ISCAS
2006
IEEE
90views Hardware» more  ISCAS 2006»
14 years 2 months ago
Quality-biased rate allocation for compound image coding with block classification
- In this paper, we propose a novel rate allocation method for compound image coding using Quality-biased Rate-Distortion Optimization (QRDO) technique to enhance visual quality. T...
Dong Liu, Wenpeng Ding, Yuwen He, Feng Wu
ARGMAS
2004
Springer
14 years 2 months ago
Layered Strategies and Protocols for Argumentation-Based Agent Interaction
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
PADL
2004
Springer
14 years 2 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
GPCE
2003
Springer
14 years 2 months ago
Concept-Controlled Polymorphism
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...