Sciweavers

6554 search results - page 965 / 1311
» Constraint Logic Programming
Sort
View
ICRA
2006
IEEE
133views Robotics» more  ICRA 2006»
15 years 11 months ago
A Quantitative Test for the Robustness of Graspless Manipulation
Abstract— In this paper, the robustness of graspless manipulation (or nonprehensile manipulation) is investigated. We derive some new constraints for static frictional forces in ...
Yusuke Maeda, Satoshi Makita
INFOCOM
2006
IEEE
15 years 11 months ago
Holographic and 3D Teleconferencing and Visualization: Implications for Terabit Networked Applications
— We discuss the evolution of teleconferencing and networked visualization applications to support 3-dimensional display technologies. The implications of a continuation of Moore...
Ladan Gharai, Colin Perkins
WCRE
2006
IEEE
15 years 11 months ago
Mining Control Flow Graphs for Crosscutting Concerns
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
Jens Krinke
CPAIOR
2005
Springer
15 years 10 months ago
The Temporal Knapsack Problem and Its Solution
Abstract. This paper introduces a problem called the temporal knapsack problem, presents several algorithms for solving it, and compares their performance. The temporal knapsack pr...
Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian...
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
15 years 10 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller