3441 search results - page 225 / 689 » Intelligent Computation of Presentation Documents |
196
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Distributed allocation and multiagent coordination problems can be solved through combinatorial auctions (CAs). However, most of the existing winner determination algorithms (WDAs...
145
click to vote
AAAI
1990
15 years 8 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
186
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a human-centered vision of unmanned but crewed platforms, combining an onshore collaborative hybrid environment and an intelligent offshore oilfield. Computer ...
242
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
Browsers do not currently support the secure sharing of JavaScript objects between principals. We present this problem as the need for object views, which are consistent and contr...
172
click to vote
SEMWEB
2004
Springer
16 years 16 days ago
2004
Springer
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...