Sciweavers

2088 search results - page 135 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
15 years 12 months ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
CVPR
2008
IEEE
16 years 8 months ago
Unsupervised feature selection via distributed coding for multi-view object recognition
Object recognition accuracy can be improved when information from multiple views is integrated, but information in each view can often be highly redundant. We consider the problem...
Chris Mario Christoudias, Raquel Urtasun, Trevor D...
DLOG
1996
15 years 7 months ago
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
The success of schema integration in multidatabase systems relies heavily on the determination of complete and refined correspondence relationships between them. So, the candidate...
Ounissa Larab, Aïcha-Nabila Benharkat
KIVS
2005
Springer
15 years 12 months ago
An Integrated Simulator for Inter-Domain Scenarios
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
Matthias Scheidegger, Florian Baumgartner, Torsten...
AAAI
1990
15 years 7 months ago
Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
Danilo Fum, Paolo Giangrandi, Carlo Tasso