Sciweavers

10997 search results - page 78 / 2200
» On the Structure of Complete Sets
Sort
View
IDEAS
2002
IEEE
151views Database» more  IDEAS 2002»
15 years 10 months ago
Completing CAD Data Queries for Visualization
A system has been developed permitting database queries over data extracted from a CAD system where the query result is returned back to the CAD for visualization and analysis. Th...
Milena Gateva Koparanova, Tore Risch
ACTA
2005
87views more  ACTA 2005»
15 years 5 months ago
Hybrid networks of evolutionary processors are computationally complete
A hybrid network of evolutionary processors (an HNEP) consists of several language processors which are located in the nodes of a virtual graph and able to perform only one type o...
Erzsébet Csuhaj-Varjú, Carlos Mart&i...
JSYML
2006
85views more  JSYML 2006»
15 years 5 months ago
An alternative semantics for quantified relevant logic
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
Robert Goldblatt, Edwin D. Mares
DATE
2005
IEEE
116views Hardware» more  DATE 2005»
15 years 11 months ago
A Complete Network-On-Chip Emulation Framework
Current Systems-On-Chip (SoC) execute applications that demand extensive parallel processing. Networks-OnChip (NoC) provide a structured way of realizing interconnections on silic...
Nicolas Genko, David Atienza, Giovanni De Micheli,...
EPS
1998
Springer
15 years 10 months ago
Complete Classes of Strategies for the Classical Iterated Prisoner's Dilemma
The Classical Iterated Prisoner's Dilemma (CIPD) is used to study the evolution of cooperation. We show, with a genetic approach, how basic ideas could be used in order to gen...
Bruno Beaufils, Jean-Paul Delahaye, Philippe Mathi...