8031 search results - page 1182 / 1607 » Knowledge and Workflow Systems |
159
click to vote
FSTTCS
2005
Springer
16 years 9 days ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
148
click to vote
AISC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
177
click to vote
MOZ
2004
Springer
16 years 4 days ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
203
click to vote
AGP
2003
IEEE
16 years 2 days ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
180
click to vote
EWMF
2003
Springer
15 years 12 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...