Sciweavers

9832 search results - page 1537 / 1967
» An Object Model for Multiprogramming
Sort
View
JUCS
2010
152views more  JUCS 2010»
15 years 1 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
MEMICS
2010
15 years 1 months ago
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
In this paper, an extension of our previous research focused on haptic rendering based on interpolation from precomputed data is presented. The technique employs the radial-basis ...
Jan Fousek, Tomas Golembiovsky, Jiri Filipovic, Ig...
TOG
2010
157views more  TOG 2010»
15 years 1 months ago
Computer-generated residential building layouts
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
Paul Merrell, Eric Schkufza, Vladlen Koltun
VLUDS
2010
138views Visualization» more  VLUDS 2010»
15 years 1 months ago
Finite Element Analysis for Linear Elastic Solids Based on Subdivision Schemes
Finite element methods are used in various areas ranging from mechanical engineering to computer graphics and bio-medical applications. In engineering, a critical point is the gap...
Daniel Burkhart, Bernd Hamann, Georg Umlauf
CORR
2011
Springer
200views Education» more  CORR 2011»
15 years 1 months ago
Validation Measures in CMMI
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
Mahmoud Khraiwesh
« Prev « First page 1537 / 1967 Last » Next »