2470 search results - page 184 / 494 » Liveness-Preserving Simulation Relations |
150
click to vote
PPSN
1994
Springer
15 years 8 months ago
1994
Springer
This paper studies Genetic Programming (GP) and its relation to the Genetic Algorithm (GA). GP uses a GA approach to breed successive populations of programs, represented in the ch...
149
click to vote
STOC
1994
ACM
15 years 8 months ago
1994
ACM
Shannon's Coding Theorem shows that in order to reliably transmit a message of T bits over a noisy communication channel, only a constant slowdown factor is necessary in the ...
166
click to vote
ITS
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...
110
click to vote
ICDT
1990
ACM
15 years 8 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
124
click to vote
EATIS
2007
ACM
15 years 8 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...