Sciweavers

451 search results - page 61 / 91
» A Categorical Model for the Geometry of Interaction
Sort
View
133
Voted
CAD
2004
Springer
15 years 15 days ago
A shape design system using volumetric implicit PDEs
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
Haixia Du, Hong Qin
COMPSAC
2005
IEEE
15 years 6 months ago
Using AOP to Monitor and Administer Software for Grid Computing Environments
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
Mark Grechanik, Dewayne E. Perry, Don S. Batory
CLEF
2005
Springer
15 years 6 months ago
Content-Based Retrieval of Medical Images by Combining Global Features
A combination of several classifiers using global features for the content description of medical images is proposed. Beside well known texture histogram features, downscaled repr...
Mark Oliver Güld, Christian Thies, Benedikt F...
ECOOPW
1999
Springer
15 years 5 months ago
An Aspect-Oriented Design Framework for Concurrent Systems
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
Constantinos Constantinides, Atef Bader, Tzilla El...
86
Voted
ESOP
1999
Springer
15 years 5 months ago
An Idealized MetaML: Simpler, and More Expressive
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaiss...