2470 search results - page 30 / 494 » Liveness-Preserving Simulation Relations |
ESM
2000
13 years 11 months ago
2000
Know-how is the most useful mean for designing new processors before a complete hardware description. The integration rate is increasing very quickly and the timeto-market has to ...
BMCBI
2008
13 years 10 months ago
2008
Background: Bioactivity profiling using high-throughput in vitro assays can reduce the cost and time required for toxicological screening of environmental chemicals and can also r...
AAMAS
2002
Springer
13 years 10 months ago
2002
Springer
The aim of this research is to assess the r^ole of a hypothetical inherited feature (gene) promoting altruism between relatives as a factor for survival in the context of a multi-...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
ICCS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...