1634 search results - page 195 / 327 » Reasoning about Knowledge Using Rough Sets |
AAAI
2008
14 years 1 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...
JAIR
2010
13 years 9 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...
ICFP
2004
ACM
14 years 10 months 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...
TMI
2010
13 years 5 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 ...
BIRTHDAY
2008
Springer
14 years 22 days 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...