Sciweavers

6129 search results - page 870 / 1226
» A parallel LLL algorithm
Sort
View
KBSE
2009
IEEE
16 years 1 months ago
Inferring Method Effect Summaries for Nested Heap Regions
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr....
IROS
2009
IEEE
136views Robotics» more  IROS 2009»
16 years 1 months ago
Floating visual grasp of unknown objects
— A new method for fast visual grasp of unknown objects using a camera mounted on a robot in an eye-inhand configuration is presented. The method is composed of a fast iterative...
Vincenzo Lippiello, Fabio Ruggiero, Luigi Villani
MFCS
2009
Springer
16 years 1 months ago
Query Automata for Nested Words
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We de...
P. Madhusudan, Mahesh Viswanathan
CCGRID
2008
IEEE
16 years 1 months ago
A Proactive Non-Cooperative Game-Theoretic Framework for Data Replication in Data Grids
— Data grids and its cost effective nature has taken on a new level of interest in recent years; amalgamation of different providers results in increased capacity as well as lowe...
Ali Elghirani, Riky Subrata, Albert Y. Zomaya
PIMRC
2008
IEEE
16 years 1 months ago
A joint routing-MAC model for cellular-relaying networks
—We present an iterative joint scheduling-routing algorithm for characterizing the long-term performance of a cellular-relaying network. The physical layer model is based on idea...
Bogdan Timus, Pablo Soldati