Sciweavers

7602 search results - page 174 / 1521
» A New Approach to Base Revision
Sort
View
ICSE
2004
IEEE-ACM
16 years 6 months ago
Imposing a Memory Management Discipline on Software Deployment
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...
Eelco Dolstra, Eelco Visser, Merijn de Jonge
EMO
2009
Springer
155views Optimization» more  EMO 2009»
16 years 1 months ago
A Hybrid Integrated Multi-Objective Optimization Procedure for Estimating Nadir Point
A nadir point is constructed by the worst objective values of the solutions of the entire Pareto-optimal set. Along with the ideal point, the nadir point provides the range of obje...
Kalyanmoy Deb, Kaisa Miettinen, Deepak Sharma
ISSRE
2000
IEEE
15 years 11 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
MEDINFO
2007
169views Healthcare» more  MEDINFO 2007»
15 years 8 months ago
Corpus-based Error Detection in a Multilingual Medical Thesaurus
Cross-language document retrieval systems require support by some kind of multilingual thesaurus for semantically indexing documents in different languages. The peculiarities of t...
Roosewelt L. Andrade, Edson José Pacheco, P...
ATAL
2010
Springer
15 years 7 months ago
An integrated possibilistic framework for goal generation in cognitive agents
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
Célia da Costa Pereira, Andrea Tettamanzi