Sciweavers

5336 search results - page 167 / 1068
» Steerable part models
Sort
View
ICCS
2004
Springer
14 years 1 months ago
Finite Element Model of Fracture Formation on Growing Surfaces
We present a model of fracture formation on surfaces of bilayered materials. The model makes it possible to synthesize patterns of fractures induced by growth or shrinkage of one ...
Pavol Federl, Przemyslaw Prusinkiewicz
PADL
2004
Springer
14 years 1 months ago
Compositional Model-Views with Generic Graphical User Interfaces
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
Peter Achten, Marko C. J. D. van Eekelen, Marinus ...
MEMOCODE
2003
IEEE
14 years 1 months ago
Methods for exploiting SAT solvers in unbounded model checking
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
Kenneth L. McMillan
PAAMS
2010
Springer
14 years 28 days ago
Comparing Three Computational Models of Affect
In aiming for behavioral fidelity, artificial intelligence cannot and no longer ignores the formalization of human affect. Affect modeling plays a vital role in faithfully simulati...
Tibor Bosse, Jonathan Gratch, Johan F. Hoorn, Matt...
BMAS
2000
IEEE
14 years 17 days ago
Modeling and Simulation of a Sigma-Delta Digital to Analog Converter Using VHDL-AMS
— Sigma-Delta digital to analog converters are less vulnerable to circuit imperfections than their A/D counterparts because they have their noise-shaping loop all in the digital ...
Martin Vogels, Bart De Smedt, Georges G. E. Gielen