5465 search results - page 285 / 1093 » Assigning Types to Processes |
183
click to vote
POPL
1989
ACM
15 years 8 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
144
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
145
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
144
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Various techniques have been developed for different query types in content-based image retrieval (CBIR) systems such as sampling queries, constrained sampling queries, multiple c...
144
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...