Sciweavers

2565 search results - page 175 / 513
» Object type constructors
Sort
View
POPL
2012
ACM
12 years 4 months ago
Programming with binders and indexed data-types
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
Andrew Cave, Brigitte Pientka
ECCV
2000
Springer
14 years 11 months ago
Unsupervised Learning of Models for Recognition
We present a method to learn object class models from unlabeled and unsegmented cluttered scenes for the purpose of visual object recognition. We focus on a particular type of mode...
Markus Weber, Max Welling, Pietro Perona
IJCNN
2006
IEEE
14 years 3 months ago
Cooperative Transportation by Multiple Mobile Manipulators using Adaptive NN Control
— It is a challenging task for multiple robots working together to realize object transportation. This paper studies a practical situation that a group of mobile manipulators are...
Xin Chen, Yangmin Li
VLDB
1998
ACM
95views Database» more  VLDB 1998»
14 years 1 months ago
The National Medical Knowledge Bank
This paper describes a massively parallel object relational (O/R) database used in an advanced development program to create a comprehensive medical information system called the ...
Warren Sterling
APPT
2005
Springer
13 years 11 months ago
Probabilistic Continuous Update Scheme in Location Dependent Continuous Queries
It is difficult to maintain the exact location of mobile objects due to the limited resources in a mobile network. A consequence of this problem is that the update cost for a locat...
Song Han, Edward Chan