451 search results - page 61 / 91 » A Categorical Model for the Geometry of Interaction |
CAD
2004
Springer
13 years 7 months ago
2004
Springer
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
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...
CLEF
2005
Springer
14 years 29 days ago
2005
Springer
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...
ECOOPW
1999
Springer
13 years 11 months ago
1999
Springer
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...
ESOP
1999
Springer
13 years 11 months ago
1999
Springer
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....