913 search results - page 72 / 183 » Full Abstraction for Linda |
CDC
2009
IEEE
13 years 10 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...
FSTTCS
2008
Springer
13 years 10 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
13 years 9 months 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...
AML
2007
13 years 9 months 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...
CEE
2010
13 years 9 months 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...