Sciweavers

4205 search results - page 433 / 841
» Typed Mobile Objects
Sort
View
FPCA
1991
15 years 10 months ago
Dynamics in ML
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
Xavier Leroy, Michel Mauny
AVI
2008
15 years 9 months ago
Supporting visual exploration of massive movement data
To make sense from large amounts of movement data (sequences of positions of moving objects), a human analyst needs interactive visual displays enhanced with database operations a...
Natalia V. Andrienko, Gennady L. Andrienko
ECOOP
2008
Springer
15 years 8 months ago
Safe Cross-Language Inheritance
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
Kathryn E. Gray
ISIM
2007
15 years 8 months ago
Notes on Restricted P Colonies
We continue the investigation of P coloniesintroduced in [7], of abstract computing devices composed of independent agents, acting and evolving in a shared environment. We determin...
Lucie Ciencialová, Ludek Cienciala
ECIR
2004
Springer
15 years 8 months ago
From Information Retrieval to Information Interaction
This paper argues that a new paradigm for information retrieval has evolved that incorporates human attention and mental effort and takes advantage of new types of information obje...
Gary Marchionini