Sciweavers

5465 search results - page 76 / 1093
» Assigning Types to Processes
Sort
View
ACS
2008
14 years 10 months ago
Epicompletion in Frames with Skeletal Maps, I: Compact Regular Frames
A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
Jorge Martínez, Eric Richard Zenk
BMCBI
2010
164views more  BMCBI 2010»
14 years 10 months ago
Gene regulatory networks modelling using a dynamic evolutionary hybrid
Background: Inference of gene regulatory networks is a key goal in the quest for understanding fundamental cellular processes and revealing underlying relations among genes. With ...
Ioannis A. Maraziotis, Andrei Dragomir, Dimitris T...
COR
2010
127views more  COR 2010»
14 years 10 months ago
Discrepancy search for the flexible job shop scheduling problem
The Flexible Job Shop scheduling Problem (FJSP) is a generalization of the classical Job Shop Problem in which each operation must be processed on a given machine chosen among a f...
Abir Ben Hmida, Mohamed Haouari, Marie-José...
INFORMATICALT
2006
108views more  INFORMATICALT 2006»
14 years 9 months ago
Experiments with Hybrid Genetic Algorithm for the Grey Pattern Problem
Recently, genetic algorithms (GAs) and their hybrids have achieved great success in solving difficult combinatorial optimization problems. In this paper, the issues related to the ...
Alfonsas Misevicius
EACL
2003
ACL Anthology
14 years 11 months ago
AVM Description Compilation using Types as Modes
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
Gerald Penn