3222 search results - page 109 / 645 » A Data Model for Effectively Computable Functions |
DBPL
2007
Springer
15 years 4 months ago
2007
Springer
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
IEEEICCI
2006
IEEE
15 years 3 months ago
2006
IEEE
While many data mining models concentrate on automation and efficiency, interactive data mining models focus on adaptive and effective communications between human users and comp...
ASIAMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Geo-informatics is a field of science that combines geodetic and spatial information processing methods with computing hardware and software technologies. Research being conducted...
CSCWD
2006
Springer
15 years 1 months ago
2006
Springer
As more and more organisations and institutions are moving towards the e-learning strategy, more and more disparate data are distributed by different e-learning systems. How to ef...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...