325 search results - page 44 / 65 » The Algebraic Framework for Object-Oriented Systems |
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper studies the coordinated motion of a group of agents evolving on a Lie group. Left- or rightinvariance with respect to the absolute position on the group lead to two ...
SIAMSC
2011
13 years 2 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
MDM
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we propose a query-driven approach for tuning the time/energy trade-off in sensor networks with mobile sensors. The tuning factors include re-positioning of mobile s...
CPHYSICS
2006
13 years 7 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...