10568 search results - page 1882 / 2114 » Computer Intelligence and Formalization |
171
click to vote
WLP
2007
Springer
15 years 10 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
114
click to vote
UIST
2006
ACM
15 years 9 months ago
2006
ACM
With advances in pen-based computing devices, handwriting has become an increasingly popular input modality. Researchers have put considerable effort into building intelligent rec...
139
click to vote
WIOPT
2005
IEEE
15 years 9 months ago
2005
IEEE
Loss-Free handoff in Mobile Networks is an extensive research area. Mobile IP (MIP) provided a solution to enable a mobile node to roam from one location to another while maintain...
151
click to vote
SIGECOM
2005
ACM
15 years 9 months ago
2005
ACM
We introduce a new class of games, congestion games with failures (CGFs), which extends the class of congestion games to allow for facility failures. In a basic CGF (BCGF) agents ...
134
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Sequential auctions are an important mechanism for buying/selling multiple objects. Existing work has studied sequential auctions for objects that are exclusively either common va...