Sciweavers

5433 search results - page 515 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
CAISE
2006
Springer
15 years 9 months ago
An attempt to combine UML and formal methods to model airport security
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
Yves Ledru, Régine Laleau, Michel Lemoine, ...
AVI
2010
15 years 9 months ago
About composing our own smart home
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...
Joëlle Coutaz, Emeric Fontaine, Nadine Mandra...
ECIR
2010
Springer
15 years 9 months ago
Colouring the Dimensions of Relevance
In this article we introduce a visualisation technique for analysing relevance and interaction data. It allows the researcher to quickly detect emerging patterns in both interactio...
Ulises Cerviño Beresi, Yunhyong Kim, Mark B...
ESANN
2008
15 years 9 months ago
On related violating pairs for working set selection in SMO algorithms
Sequential Minimal Optimization (SMO) is currently the most popular algorithm to solve large quadratic programs for Support Vector Machine (SVM) training. For many variants of this...
Tobias Glasmachers
HCI
2007
15 years 9 months ago
Webcasting Made Interactive: Integrating Real-Time Videoconferencing in Distributed Learning Spaces
This paper presents an extension to the ePresence Interactive Media webcasting infrastructure to support real-time voice and video conferencing for a few attendees while concurrent...
Ronald Baecker, Jeremy P. Birnholtz, Rhys Causey, ...