Sciweavers

1816 search results - page 124 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
IJCNN
2008
IEEE
16 years 23 days ago
A neural wake-sleep learning architecture for associating robotic facial emotions
—A novel wake-sleep learning architecture for processing a robot’s facial expressions is introduced. According to neuroscience evidence, associative learning of emotional respo...
Chi-Yung Yau, Kevin Burn, Stefan Wermter
KBSE
2005
IEEE
15 years 12 months ago
On dynamic feature location
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
Rainer Koschke, Jochen Quante
KBSE
2007
IEEE
16 years 19 days ago
Feature interaction analysis: a maintenance perspective
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
FMCAD
2009
Springer
15 years 10 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
ICSOC
2010
Springer
15 years 4 months ago
A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...
Maha Driss, Naouel Moha, Yassine Jamoussi, Jean-Ma...