The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We describe our experiences in the classroom using the internet to collaboratively verify a significant safety and security property across the entire Linux kernel. With 66,609 instances to check across three versions of Linux, the naive approach of simply dividing up the code and assigning it to students does not scale, and does little to educate. However, by teaching and applying analytical reasoning,...
Evaluating collaborative information seeking can be challenging, often more than individual information seeking. This can be attributed to the complexity of the interaction as the study involves a number of users using the systems. While this is particularly important, but rather hard when the users employ different modalities accessing the systems. In this paper, we describe a semi-structured combination...
A major impediment to the widespread deployment of intelligent training systems is the high cost of developing the content that drives their operation. Techniques grounded in end-user programming have shown great promise for reducing the burden of content creation. With these approaches, a domain expert demonstrates a solution to a task, which is then generalized to a broader model. This paper reports...
Makerspace labs are popping up across U.S. universities following the excitement the Maker movement has created. These spaces are touted as a place where students can express their creativity and turn their ideas into innovations. Makerspaces do indeed foster self-directed learning and creative innovation; however, little has been studied regarding the design of such spaces to draw in the general...
Actors involved in synchronous collaboration activities usually need to exchange information in order to make decisions. Collaboration is often expected, because of the need to discuss multiple views about the same system for negotiating the decision. Indeed, this is a complete cognitive, information and communication issue. In the home care context, a weekly plan is usually defined at the beginning...
The increased complexity in Product Service Systems development goes hand in hand with complex heterogeneous networks. A Human-Centred Design approach has been taken to understand such networked collaboration and to develop a framework having user-experiences guiding communication and collaboration among parties. The current work elaborates on the development of a framework for networked collaboration...
Composition style is often an important factor in readers' selection of reading materials. For example, a reader may seek out articles written in similar style as his or her favorite writer. We present a new method for providing recommendations based on the composition style. Our algorithm analyzes and encodes the readability index and syntactical structure of a model document, and then searches for...
In this paper an automated platform for immersive multiprojection visualization of manufacturing processes is proposed. It admits scenarios with dynamic components and allows Virtual Reality collaborative visualization among geographically distributed users, through multi-CAVE devices. Modules for modeling, converting, visualizing and interacting composes the platform. The proposed system can be applied...
Many video processing algorithms have been developed in recent years. However, visual performance validation of these algorithms is often overlooked. We discuss the need for a standardized suite of free test videos appropriately selected according to a set of usage rules. These videos are to be stored in a publicly accessible online library that will facilitate effective collaboration and interaction...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.