25 search results - page 5 / 5 » A Realizability Model for Impredicative Hoare Type Theory |
ICIP
2003
IEEE
14 years 7 months ago
2003
IEEE
In this paper, we rely on the theory of marked point processes to perform an unsupervised road network extraction from optical and radar images. A road network is modeled by a Mar...
IJCNN
2006
IEEE
13 years 11 months ago
2006
IEEE
— 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...
CIMCA
2006
IEEE
13 years 11 months ago
2006
IEEE
This work is dedicated to position control of redundant robots, realized with the help of the sensibility theory. The control method allows controlling the robot position followin...
SAC
2010
ACM
14 years 9 days ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
WSDM
2010
ACM
14 years 9 days ago
2010
ACM
Two-sided markets arise when two different types of users may realize gains by interacting with one another through one or more platforms or mediators. We initiate a study of the...