77016 search results - page 598 / 15404 » Modelling |
210
click to vote
EDUTAINMENT
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
205
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
ATLAS is a specification language defined to outline city sections to model and simulate traffic flow. Streets are characterized by their size, direction, number of lanes, etc. On...
164
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...
203
click to vote
WSC
2008
15 years 9 months ago
2008
Characterizing the transient behavior of queueing systems is a difficult problem, which has been addressed by either simplified analytical models or simulation. We seek to capture...
181
click to vote
WSC
2008
15 years 9 months ago
2008
This paper addresses the on-going work of integrating supply chain research into the graduate curriculum in the form of a Supply Chain Modeling course. This course integrates rese...