780 search results - page 104 / 156 » Reasoning about sets using redescription mining |
EWMF
2003
Springer
14 years 4 months ago
2003
Springer
Item-based Collaborative Filtering (CF) algorithms have been designed to deal with the scalability problems associated with traditional user-based CF approaches without sacrificin...
EUSFLAT
2007
14 years 18 days ago
2007
The paper brings a discussion about the source of the inaccuracy in observations of objects and demonstrates that the essential reason of the lack of precision is changeability, a...
ATAL
2010
Springer
14 years 8 days ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
ICALT
2008
IEEE
14 years 5 months ago
2008
IEEE
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
CONCUR
2007
Springer
14 years 5 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...