1689 search results - page 182 / 338 » On Natural Non-dcpo Domains |
167
click to vote
EMMCVPR
2005
Springer
15 years 12 months ago
2005
Springer
We propose a novel technique based on spherical splines for brain surface representation and analysis. This research is strongly inspired by the fact that, for brain surfaces, it i...
141
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
163
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now b...
150
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
184
click to vote
CICLING
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...