43264 search results - page 357 / 8653 » Comparing models of computation |
123
click to vote
LAWEB
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present a model-based approach to integrate dynamic and volatile functionality in Web Applications. Our approach comprises an extension to the OOHDM design method...
146
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
138
Voted
CL
2000
Springer
15 years 9 months ago
2000
Springer
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
157
click to vote
ENVSOFT
2008
15 years 4 months ago
2008
In this paper two areas of soft computing (fuzzy modeling and artificial neural networks) are discussed. Based on the fundamental mathematical similarity of fuzzy technique and ra...
136
click to vote
TOG
2008
15 years 4 months ago
2008
We present a novel technique for generating animation of laughter for a character. Our approach utilizes an anatomically inspired, physics-based model of a human torso that includ...