1634 search results - page 195 / 327 » Reasoning about Knowledge Using Rough Sets |
115
Voted
AAAI
2008
15 years 3 months ago
2008
Online services such as web search, news portals, and ecommerce applications face the challenge of providing highquality experiences to a large, heterogeneous user base. Recent ef...
115
Voted
JAIR
2010
14 years 11 months ago
2010
Online offerings such as web search, news portals, and e-commerce applications face the challenge of providing high-quality service to a large, heterogeneous user base. Recent eff...
136
Voted
ICFP
2004
ACM
16 years 19 days ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
132
Voted
TMI
2010
14 years 7 months ago
2010
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
93
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...