3377 search results - page 539 / 676 » Describing differences between databases |
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
SBP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. The health system is a complex system of systems – changes in agriculture, transportation, economics, family life, medical practices, and many other things can have a p...
OZCHI
2009
ACM
14 years 4 months ago
2009
ACM
This paper describes a two-year research study that piloted and evaluated the use of low-cost, low-bandwidth Information and Communications Technology (ICT) to support meetings be...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—In future massively distributed service-based computational systems, resources will span many locations, organisations and platforms. In such systems, the ability to all...
CRV
2009
IEEE
14 years 3 months ago
2009
IEEE
We describe a navigation and coverage system based on unsupervised learning driven by visual input. Our objective is to allow a robot to remain continuously moving above a terrain...