Sciweavers

1672 search results - page 304 / 335
» On the Development of Software Product-Family Components
Sort
View
FMICS
2008
Springer
15 years 3 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
HVEI
2010
15 years 2 months ago
Tangible display systems: direct interfaces for computer-based studies of surface appearance
When evaluating the surface appearance of real objects, observers engage in complex behaviors involving active manipulation and dynamic viewpoint changes that allow them to observ...
Benjamin A. Darling, James A. Ferwerda
SPLC
2010
15 years 2 months ago
Consistent Product Line Configuration across File Type and Product Line Boundaries
Creating a valid software configuration of a product line can require laborious customizations involving multiple configuration file types, such as feature models, domain-specific ...
Christoph Elsner, Peter Ulbrich, Daniel Lohmann, W...
IJCAI
2007
15 years 2 months ago
A Multi-Agent Medical System for Indian Rural Infant and Child Care
In this paper, a Multi-agent System (MAS) is presented for providing clinical decision support to healthcare practitioners in rural or remote areas of India for young infants or c...
Vijay Kumar Mago, M. Syamala Devi
BILDMED
2006
135views Algorithms» more  BILDMED 2006»
15 years 2 months ago
Restoration of the Sphere-Cortex Homeomorphism
Abstract. The proposed algorithm has been developed as a pre-processing tool for inflating cortical surface meshes, which have been created using segmentation and subsequent triang...
Andreas Mang, Michael Wagner 0002, Jan Müller...