4650 search results - page 364 / 930 » Generating and evaluating evaluative arguments |
166
click to vote
COOPIS
1998
IEEE
15 years 11 months ago
1998
IEEE
Jedi (Java based Extraction and Dissemination of Information) is a lightweight tool for the creation of wrappers and mediators to extract, combine, and reconcile information from ...
141
click to vote
AIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
183
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we describe a method for improving genetic-algorithm-based optimization using informed genetic operators. The idea is to make the genetic operators such as mutation ...
179
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
Abstract-- In analog circuits, blocks need to be placed symmetrically to satisfy the devices matching. Different from the existing constraint-driven approaches, the proposed topolo...
220
click to vote
CCGRID
2008
IEEE
15 years 9 months ago
2008
IEEE
In this article, we revisit the problem of scheduling dynamically generated directed acyclic graphs (DAGs) of multi-processor tasks (M-tasks). A DAG is a basic model for expressin...