5451 search results - page 736 / 1091 » Typed Operational Semantics |
175
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—With the rapid expansion of satellite communication, an increasing number of unattended ground terminals are spreading out to serve local customers. And there is a great demand ...
178
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Segmentation is one of the first and most integral pre-processing steps for any Fingerprint Recognition System. It is used to identify the region of interest within an image. Perf...
183
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper describes a visual odometry algorithm for estimating frame-to-frame camera motion from successive stereo image pairs. The algorithm differs from most visual odometry...
171
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
165
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...