4211 search results - page 425 / 843 » Types as Abstract Interpretations |
166
click to vote
RTSS
2006
IEEE
16 years 22 days ago
2006
IEEE
Much of the research on scheduling schemes is prevented from being used in practice by the lack of implementations vide the necessary abstractions. An example of this lack of prov...
192
click to vote
ACOM
2006
Springer
16 years 22 days ago
2006
Springer
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
137
click to vote
ACIVS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we present a bio-inspired connectionist model for visual perception of motion and its pursuit. It is organized in three stages: a causal spatio-temporal fi...
166
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We built three different versions of an ITS on a letter pattern extrapolation task: in one version, students only receive color-coded feedback; in the second, they receiv...
194
click to vote
CAISE
2005
Springer
16 years 8 days ago
2005
Springer
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...