3116 search results - page 404 / 624 » Positively dependent types |
133
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
A master-slave type remote ultrasound diagnostic system was developed. The controller has impedance control capability for the master and slave manipulators' positions. And it...
190
click to vote
ICADL
2010
Springer
15 years 11 months ago
2010
Springer
Maintaining and extending large thesauri is an important challenge facing digital libraries and IT businesses alike. In this paper we describe a method building on and extending ex...
203
Voted
EMMCVPR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Grouping is a global partitioning process that integrates local cues distributed over the entire image. We identify four types of pairwise relationships, attraction and r...
176
click to vote
LACL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
162
click to vote
WABI
2001
Springer
15 years 11 months ago
2001
Springer
Using current technology, large consecutive stretches of DNA (such as whole chromosomes) are usually assembled from short fragments obtained by shotgun sequencing, or from fragment...