2836 search results - page 444 / 568 » Towards Hovering Information |
174
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
194
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. There is a growing trend toward emotional intelligence in humancomputer interaction paradigms. In order to react appropriately to a human, the computer would need to have...
165
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Maximin strategy has its origin in game theory, but it can be adopted for effective multiobjective optimization. This paper proposes a particle swarm multiobjective optimiser, max...
185
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...
204
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
A number of metadata standards have been published in recent years due to the increasing availability of multimedia content and the resulting issue of sorting and retrieving this ...