2131 search results - page 286 / 427 » Immunity for Closed Sets |
208
click to vote
SMA
1995
ACM
15 years 10 months ago
1995
ACM
This paper presents a new computational method for fully automated triangular mesh generation, consistently applicable to wire-frame, surface, solid, and nonmanifold geometries. T...
151
click to vote
TACS
1991
Springer
15 years 10 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
177
click to vote
CIARP
2009
Springer
15 years 9 months ago
2009
Springer
A large number of computer tasks can be modeled as the search for an object near a given query. From multimedia databases to learning algorithms, data mining and pattern recognitio...
179
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used t...
192
click to vote
HT
2009
ACM
15 years 9 months ago
2009
ACM
Adaptive hypermedia systems traditionally focus on providing personalised learning services for formal or informal learners. The learning material is typically sourced from a prop...