Sciweavers

4650 search results - page 467 / 930
» Generating and evaluating evaluative arguments
Sort
View
FAABS
2004
Springer
16 years 8 days ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
GECCO
2004
Springer
211views Optimization» more  GECCO 2004»
16 years 8 days ago
Node-Depth Encoding for Evolutionary Algorithms Applied to Network Design
Network design involves several areas of engineering and science. Computer networks, electrical circuits, transportation problems, and phylogenetic trees are some examples. In gene...
Alexandre C. B. Delbem, André Carlos Ponce ...
GECCO
2004
Springer
107views Optimization» more  GECCO 2004»
16 years 8 days ago
An Evolution Strategy Using a Continuous Version of the Gray-Code Neighbourhood Distribution
Abstract. We derive a continuous probability distribution which generates neighbours of a point in an interval in a similar way to the bitwise mutation of a Gray code binary string...
Jonathan E. Rowe, Dzena Hidovic
IJCNLP
2004
Springer
16 years 7 days ago
Improving Noun Phrase Coreference Resolution by Matching Strings
In this paper we present a noun phrase coreference resolution system which aims to enhance the identification of the coreference realized by string matching. For this purpose, we ...
Xiaofeng Yang, Guodong Zhou, Jian Su, Chew Lim Tan
JSSPP
2004
Springer
16 years 7 days ago
Workload Characteristics of a Multi-cluster Supercomputer
This paper presents a comprehensive characterization of a multi-cluster supercomputer1 workload using twelvemonth scientific research traces. Metrics that we characterize include...
Hui Li, David L. Groep, Lex Wolters