12981 search results - page 2170 / 2597 » Model Checking (Abstract) |
168
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper we introduce a new option pricing mechanism for reducing the exposure problem encountered by bidding agents with complementary valuations when participating...
195
Voted
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— Modern database management systems (DBMS) answer a multitude of complex queries on increasingly larger datasets. Given the complexities of the queries and the numerous ...
143
click to vote
ADT
2008
15 years 6 months ago
2008
The clear trend toward the integration of current and emerging applications and services in the Internet launches new demands on service deployment and management. Distributed serv...
184
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
163
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Sponsored search involves running an auction among advertisers who bid in order to have their ad shown next to search results for specific keywords. The most popular auct...