2006 search results - page 165 / 402 » Testing with Respect to Concerns |
138
click to vote
SODA
2003
ACM
15 years 6 months ago
2003
ACM
We consider the problem of revenue maximization in online auctions, that is, auctions in which bids are received and dealt with one-by-one. In this note, we demonstrate that resul...
182
click to vote
IJCAI
1989
15 years 5 months ago
1989
Research in Distributed Artificial Intelligence is concerned with how automated agents can be designed to interact effectively. One important capability that could aid inter-agent...
129
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
142
click to vote
CHES
2010
Springer
15 years 5 months ago
2010
Springer
The need for lightweight (that is, compact, low-power, low-energy) cryptographic hash functions has been repeatedly expressed by application designers, notably for implementing RFI...
139
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We report our experiences from participating to the controlled experiment of the ImageCLEF 2010 Wikipedia Retrieval task. We built an experimental search engine which com...