1202 search results - page 236 / 241 » Robust system multiangulation using subspace methods |
POPL
2005
ACM
14 years 7 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— – Major research challenges in the next generation of wireless networks include the provisioning of worldwide seamless mobility across heterogeneous wireless networks, the im...
CLOUD
2010
ACM
14 years 19 days ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Many natural objects vary the shapes as linear combinations of certain bases. The measurement of such deformable shapes is coupling of rigid similarity transformations between the...