11397 search results - page 2105 / 2280 » A Relational Abstraction for Functions |
242
click to vote
KI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents a novel method for developing and evaluating intelligent robot behavior for joint human-robot activities. We extended a physical simulation of an auto...
239
click to vote
OPODIS
2010
15 years 5 months ago
2010
Abstract. Shared counters are the key to solving a variety of coordination problems on multiprocessor machines, such as barrier synchronization and index distribution. It is desire...
225
click to vote
OPODIS
2010
15 years 5 months ago
2010
Abstract. Small-world networks are currently present in many distributed applications and can be built augmenting a base network with long-range links using a probability distribut...
268
click to vote
PAIRING
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper describes a new method in pairing-based signature schemes for identifying the invalid digital signatures in a batch after batch verification has failed. The me...
207
click to vote
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we elaborate how decision space diversity can be integrated into indicator-based multiobjective search. We introduce DIOP, the diversity integrating multio...