913 search results - page 72 / 183 » Full Abstraction for Linda |
92
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
88
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
ABSTRACT. We study the algorithmic complexity of lattice problems based on Ajtai-Kumar-Sivakumar sieving technique [AKS01]. Given a k-dimensional subspace M ⊆ Rn and a full rank ...
AIEDAM
2008
15 years 25 days ago
2008
We describe a method for constructing a structural model of an unlabeled target two-dimensional line drawing by analogy to a known source model of a drawing with similar structure...
89
Voted
AML
2007
15 years 25 days ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...
94
Voted
CEE
2010
15 years 24 days ago
2010
Abstract-- The paper examines the implementation of QuasiOrthogonal Space-Time-Frequency Codes (QOSTFCs) to increase data rates and error performance in recently proposed STFC Mult...