3742 search results - page 56 / 749 » On the Use of Formal Techniques for Validation |
161
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
154
click to vote
ROOM
2000
15 years 7 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
159
click to vote
ENTCS
2008
15 years 6 months ago
2008
Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can...
134
click to vote
ICECCS
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
195
click to vote
GECCO
2004
Springer
2004
Springer
Using Clustering Techniques to Improve the Performance of a Multi-objective Particle Swarm Optimizer
15 years 11 months ago
In this paper, we present an extension of the heuristic called “particle swarm optimization” (PSO) that is able to deal with multiobjective optimization problems. Our approach ...