2268 search results - page 65 / 454 » The Essence of Form Abstraction |
85
Voted
ECAI
2004
Springer
15 years 6 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
15 years 6 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...
161
click to vote
TCC
2004
Springer
15 years 6 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 ...
106
click to vote
ECAL
2003
Springer
15 years 6 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
15 years 5 months 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...