Sciweavers

773 search results - page 96 / 155
» Program Slicing by Calculation
Sort
View
ICRA
2002
IEEE
103views Robotics» more  ICRA 2002»
14 years 2 months ago
A Quantitative Stability Measure for Graspless Manipulation
In this paper, the stability of objects in graspless manipulation (or nonprehensile manipulation) is investigated. In contrast with the stability of grasps, it is crucial for the ...
Yusuke Maeda, Tamio Arai
ICCS
2001
Springer
14 years 2 months ago
Discrete Local Fairing of B-Spline Surfaces
Many surfaces can be modeled by interpolating data points digitized from existing products. But the digitized data points could have measuring errors. To adjust the points, fairing...
Seok-Yong Hong, Chung-Seong Hong, Hyun-Chan Lee, K...
LCTRTS
1998
Springer
14 years 2 months ago
Automatic Accurate Time-Bound Analysis for High-Level Languages
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
Yanhong A. Liu, Gustavo Gomez
CN
2008
118views more  CN 2008»
13 years 10 months ago
Modeling and computing throughput capacity of wireless multihop networks
Capacity is an important property for QoS support in Mobile Ad Hoc Networks (MANETs) and has been extensively studied. However, most approaches rely on simplified models (e.g., pr...
Patrick Stuedi, Gustavo Alonso
IJBC
2007
39views more  IJBC 2007»
13 years 10 months ago
Optimal CNN Templates for Linearly-Separable One-Dimensional Cellular Automata
In this tutorial, we present optimal Cellular Nonlinear Network (CNN) templates for implementing linearly-separable one-dimensional (1-D) Cellular Automata (CA). From the gallery ...
P. J. Chang, Bharathwaj Muthuswamy