1104 search results - page 137 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
121
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
126
click to vote
CCE
2005
15 years 3 months ago
2005
Computational fluid dynamics (CFD) of complex processes and complicated geometries embraces the transport of momentum, heat, and mass including the description of reaction kinetic...
155
click to vote
ACMACE
2004
ACM
15 years 9 months ago
2004
ACM
We propose a framework model to facilitate the prototyping and refinement of Massively Multi-player Online Games (MMOG), when included in the appropriate development environment....
145
click to vote
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
123
click to vote
BIBE
2000
IEEE
15 years 8 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...