Crafting the models for effective model-based testing (MBT) requires deep understanding of the problem domain and expertise on formal modeling, and creating the models manually from the scratch requires a significant amount of effort. When an existing system is being modeled and tested, there are various techniques to automate the process of producing the models based on the implementation. Esp...

Previous Work: Work at Berkeley by Hse [3] has shown that users prefer a single-stroke sketch-based user interface to a mouse-and-palette based tool for UML design. One company [2] has developed a gesture based diagramming tool, Ideogramic UML,TMwhich allows users to sketch UML diagrams. The tool is based on a graffiti-like implementation and requires users to draw each gesture in one stroke, a...

fractals, chaos, power laws: minutes from an infinite fractals chaos power laws minutes from an infinite read online http://guiachincha/download/fractals fractals chaos power laws minutes from an infinite fractals, chaos, power laws: minutes from an infinite fractals, chaos, power laws: minutes from an infinite skill acquisition in sport research theory and practice regents review earth science...

This manual describes the inla program, a new instrument which allows the user to easily perform approximate Bayesian inference using integrated nested Laplace approximation (INLA). We describe the set of models which can be solved by the inla program and provide a series of worked out examples illustrating its usage in details. Appendix A contains a reference manual for the inla program. This ...

The Smart Driving Skill Evaluation (SDSE) System presented in this paper expedite the testing of candidates aspiring for a driving license in a more efficient and transparent manner, as compared to the present manual testing procedure existing in most parts of Asia and Pacific region. The manual test procedure is also subjected to multiple limitations like time consuming, costly and heavily con...

This manual describes the inla program, a new instrument which allows the user to easily perform approximate Bayesian inference using integrated nested Laplace approximation (INLA). We describe the set of models which can be solved by the inla program and provide a series of worked out examples illustrating its usage in details. Appendix A contains a reference manual for the inla program. This ...

A model for evaluating the effectiveness of automatic recording of television programs by digital personal video recorders (PVRs) is presented. The model is used to evaluate the tradeoff between manual management of recording programs to a PVR archive and automatic management of recording. We show that a tradeoff exists between manual management in which the utility of a program is perfectly kn...

User profiles are important in personalized Web information gathering and recommendation systems. The current user profiles acquiring techniques however suffer from some problems and thus demand to improve. In this paper, a survey of the existing user profiles acquiring mechanisms is presented first, and a novel approach is introduced that uses pseudo-relevance feedback to acquire user profiles...

This chapter presents the user evaluation of the iRW. As described in previous chapters, functional tests have been conducted to demonstrate the advantage of the functions designed for the iRW. In this chapter, the user evaluation is used to confirm the design concept on the mobility assistance functions and the multiple-DOF seat adjustment mechanism of the iRW. Manual wheelchairs are the most ...

The executed study evaluated the influence of manual and speech input on driving quality, stress and strain situation and user acceptance when using a Driver Information System (DIS). The study is part of the EU-project SENECA. 16 subjects took part in the investigations. A car was equipped with a modified DIS to carry out the evaluation in real traffic situations. The used DIS is a standard pr...