671 search results - page 24 / 135 » Computer Aided Modelling Exercises |
ASM
2010
ASM
14 years 4 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
SIGDIAL
2010
13 years 7 months ago
2010
Classifying the dialogue act of a user utterance is a key functionality of a dialogue management system. This paper presents a data-driven dialogue act classifier that is learned ...
GI
2007
Springer
14 years 4 months ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
PROCEDIA
2010
13 years 8 months ago
2010
Visualising computational simulation models of solid state physical systems is a hard problem for dense lattice models. Fly throughs and cutaways can aid viewer understanding of a...
GMP
2006
IEEE
14 years 3 months ago
2006
IEEE
Commonly used boundary-based solid and surface modeling methods in traditional computer aided design are not capable of constructing configurations with large numbers of particles ...