2268 search results - page 65 / 454 » The Essence of Form Abstraction |
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Proactive approaches to scheduling take into account information about the execution time uncertainty in forming a schedule. In this paper, we investigate proactive appro...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose an analytic approach to approximate the survival probabilities of schemata under multi-point crossover and obtain its closed form. It gives a convenient way to...
TCC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We investigate whether it is possible to obtain any meaningful type of zero-knowledge proofs using a one-message (i.e., noninteractive) proof system. We show that, under ...
ECAL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
FCT
2001
Springer
14 years 17 days ago
2001
Springer
Abstract. The maximum intersection problem for a matroid and a greedoid, given by polynomial-time oracles, is shown NP-hard by expressing the satisfiability of boolean formulas in...