Sciweavers

749 search results - page 49 / 150
» Scenario based Analysis of Linear Computations
Sort
View
CVPR
2007
IEEE
16 years 6 months ago
Imaging the Finger Force Direction
This paper presents a method of imaging the coloration pattern in the fingernail and surrounding skin to infer fingertip force direction during planar contact. Nail images from 7 ...
Yu Sun, John M. Hollerbach, Stephen A. Mascaro
ISCOPE
1999
Springer
15 years 8 months ago
SIFFEA: Scalable Integrated Framework for Finite Element Analysis
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
Xiangmin Jiao, Xiang-Yang Li, Xiaosong Ma
LCN
2002
IEEE
15 years 9 months ago
Link Stability in Mobile Wireless Ad Hoc Networks
In this paper, we develop adaptive metrics to identify stable links in a mobile wireless networking environment based on the analysis of link durations in several different mobili...
Michael Gerharz, Christian de Waal, Matthias Frank...
ISSAC
1997
Springer
105views Mathematics» more  ISSAC 1997»
15 years 8 months ago
On Randomized Lanczos Algorithms
Las Vegas algorithms that are based on Lanczos’s method for solving symmetric linear systems are presented and analyzed. These are compared to a similar randomized Lanczos algor...
Wayne Eberly, Erich Kaltofen
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 11 months ago
Formal analysis of piecewise affine systems through formula-guided refinement
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Ce...