Sciweavers

6943 search results - page 1051 / 1389
» Representations for evolutionary algorithms
Sort
View
SUM
2009
Springer
15 years 11 months ago
Weighted Description Logics Preference Formulas for Multiattribute Negotiation
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
Azzurra Ragone, Tommaso Di Noia, Francesco M. Doni...
190
Voted
CAV
2001
Springer
107views Hardware» more  CAV 2001»
15 years 11 months ago
Job-Shop Scheduling Using Timed Automata
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
Yasmina Abdeddaïm, Oded Maler
FPL
2001
Springer
123views Hardware» more  FPL 2001»
15 years 11 months ago
Compilation Increasing the Scheduling Scope for Multi-memory-FPGA-Based Custom Computing Machines
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...
João M. P. Cardoso, Horácio C. Neto
FPL
2001
Springer
107views Hardware» more  FPL 2001»
15 years 11 months ago
Gambit: A Tool for the Simultaneous Placement and Detailed Routing of Gate-Arrays
In this paper we present a new method of integrating the placement and routing stages in the physical design of channel-based architectures, and present the first implementation o...
John Karro, James P. Cohoon
BIBE
2000
IEEE
15 years 11 months ago
Reconstructing Specimens using DIC Microscope Images
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
Farhana Kagalwala, Takeo Kanade
« Prev « First page 1051 / 1389 Last » Next »