12697 search results - page 124 / 2540 » Call for Papers |
156
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
174
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
178
click to vote
ICCI
1992
15 years 10 months ago
1992
The advent of distributed memory parallel muchines turns feasible the design and implementation of dedicated environments for distributed applications. This puper addresses such a...
143
click to vote
HCI
2007
15 years 7 months ago
2007
A growing interest is seen for designing intelligent environments that support personally meaningful, sociable and rich everyday experiences. In this paper we describe an intellige...
143
click to vote
ICEC
1994
15 years 7 months ago
1994
There are two types of GAs with difference of their representation of strings. They are the binary coded GA and the order-based GA. We've already proposed a new type of binar...