Sciweavers

365 search results - page 51 / 73
» Numerical Solving of Geometric Constraints
Sort
View
IMR
2004
Springer
14 years 1 months ago
PDE-Based Gradient Limiting for Mesh Size Functions
We propose a new method for limiting the gradients in a mesh size function by solving a non-linear partial differential equation on the background mesh. Our gradient limiting Ham...
Per-Olof Persson
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
14 years 1 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
ICPR
2002
IEEE
14 years 25 days ago
A Robust Algorithm for Probabilistic Human Recognition From
Human recognition from video requires solving the two tasks, recognition and tracking, simultaneously. This leads to a parameterized time series state space model, representing bo...
Shaohua Kevin Zhou, Rama Chellappa
COCOON
2010
Springer
14 years 21 days ago
Auspicious Tatami Mat Arrangements
The main purpose of this paper is to introduce the idea of tatami tilings, and to present some of the many interesting and fun questions that arise when studying them. Roughly spea...
Alejandro Erickson, Frank Ruskey, Mark Schurch, Je...
VLSID
1999
IEEE
111views VLSI» more  VLSID 1999»
14 years 5 days ago
A New Approach for CMOS Op-Amp Synthesis
A new approach for CMOS op-amp circuit synthesis has proposed here. The approach is based on the observation that the rst order behavior of a MOS transistor in the saturation regi...
Pradip Mandal, V. Visvanathan