Sciweavers

4276 search results - page 196 / 856
» Techniques for Empirical Validation
Sort
View
AAMAS
2012
Springer
14 years 2 months ago
A formal model of emotions for an empathic rational dialog agent
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
Magalie Ochs, David Sadek, Catherine Pelachaud
ISSRE
2006
IEEE
16 years 17 days ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...
SIBGRAPI
2005
IEEE
16 years 4 days ago
Background Subtraction and Shadow Detection in Grayscale Video Sequences
Tracking moving objects in video sequence is an important problem in computer vision, with applications several fields, such as video surveillance and target tracking. Most techn...
Julio Cezar Silveira Jacques Jr., Cláudio R...
MICAI
2004
Springer
15 years 12 months ago
Simple Feasibility Rules and Differential Evolution for Constrained Optimization
In this paper, we propose a differential evolution algorithm to solve constrained optimization problems. Our approach uses three simple selection criteria based on feasibility to g...
Efrén Mezura-Montes, Carlos A. Coello Coell...
EWSPT
1998
Springer
15 years 10 months ago
Fuzzy Dynamics in Software Project Simulation and Support
Established simulation techniques require quantification of relevant aspects of the entity whose behaviour is being investigated. The data expressing the quantification provides a ...
Juan F. Ramil, M. M. Lehman