9145 search results - page 351 / 1829 » Description Logic Systems |
261
click to vote
NMR
2004
Springer
16 years 29 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
190
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
324
click to vote
KIVS
2011
Springer
14 years 10 months ago
2011
Springer
Railway interlockings are dominated by highly proprietary systems. We present the development project Alister 2.0 – an interlocking system based on industry-proven standard comp...