Sciweavers

2070 search results - page 240 / 414
» A Reduced-Basis Element Method
Sort
View
EMMCVPR
2003
Springer
15 years 9 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 9 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 9 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 9 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 9 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...