427 search results - page 29 / 86 » Inductive reasoning about effectful data types |
TFS
2011
13 years 2 months ago
2011
—Linguistic summarization (LS) is a data mining or knowledge discovery approach to extract patterns from databases. Many authors have used this technique to generate summaries li...
TLDI
2003
ACM
14 years 23 days ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
AAAI
1992
13 years 8 months ago
1992
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
FMSD
2006
13 years 7 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
VIS
2009
IEEE
14 years 8 months ago
2009
IEEE
Many techniques have been proposed to show uncertainty in data visualizations. However, very little is known about their effectiveness in conveying meaningful information. In this ...