Sciweavers

2070 search results - page 240 / 414
» A Reduced-Basis Element Method
Sort
View
EMMCVPR
2003
Springer
15 years 11 months ago
Geometric Analysis of Continuous, Planar Shapes
Abstract. We propose two differential geometric representations of planar shapes using: (i) direction functions and (ii) curvature functions, of their boundaries. Under either rep...
Anuj Srivastava, Washington Mio, Eric Klassen, Sha...
FM
2003
Springer
98views Formal Methods» more  FM 2003»
15 years 11 months ago
Generating Counterexamples for Multi-valued Model-Checking
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
Arie Gurfinkel, Marsha Chechik
IMR
2003
Springer
15 years 11 months ago
Fully Automatic Adaptive Mesh Refinement Integrated into the Solution Process
Finite element analysts and designers need to feel confident in the results of their analyses before sending a product to prototype or production. Mesh discretization can greatly ...
Joseph R. Tristano, Zhijian Chen, D. Alfred Hancq,...
APCCAS
2002
IEEE
157views Hardware» more  APCCAS 2002»
15 years 11 months ago
Multiplier energy reduction through bypassing of partial products
Designof portablebattery operatedmultimediadevices requires energy-ecient multiplication circuits. This paper presents a novel approach to reduce power consumption of digital mul...
Jun-ni Ohban, Vasily G. Moshnyaga, Koji Inoue
HICSS
2002
IEEE
105views Biometrics» more  HICSS 2002»
15 years 11 months ago
Towards a Tool Support for a Living Software Development Process
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...