Sciweavers

2565 search results - page 175 / 513
» Object type constructors
Sort
View
POPL
2012
ACM
13 years 9 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
134
Voted
ECCV
2000
Springer
16 years 4 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
15 years 8 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»
15 years 6 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
15 years 4 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