16091 search results - page 2921 / 3219 » Solving |
178
click to vote
AMEC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In many settings, bidding agents for auctions do not know their preferences a priori. Instead, they must actively determine them through deliberation (e.g., information p...
208
Voted
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
198
click to vote
CCS
2004
ACM
16 years 5 days ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
188
click to vote
CIKM
2004
Springer
16 years 5 days ago
2004
Springer
With the overwhelming volume of online news available today, there is an increasing need for automatic techniques to analyze and present news to the user in a meaningful and effi...
188
click to vote
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...