9145 search results - page 351 / 1829 » Description Logic Systems |
229
click to vote
NMR
2004
Springer
16 years 3 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 ...
163
click to vote
LICS
2006
IEEE
16 years 23 days 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...
292
click to vote
KIVS
2011
Springer
14 years 9 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...