4074 search results - page 430 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
223
click to vote
CGF
2006
15 years 6 months ago
2006
Physically based deformable models have been widely embraced by the Computer Graphics community. Many problems outlined in a previous survey by Gibson and Mirtich [GM97] have been...
153
click to vote
IJON
2002
15 years 6 months ago
2002
Self-organizing computational models with specific intracortical connections can explain many features of visual cortex. However, due to their computation and memory requirements,...
215
click to vote
EJC
2000
15 years 8 months ago
2000
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
184
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
200
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...