4595 search results - page 291 / 919 » Reasoning about Plans |
254
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...
205
Voted
TLDI
2010
ACM
16 years 4 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
186
click to vote
LPNMR
2005
Springer
16 years 28 days ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
250
Voted
BIRTHDAY
2004
Springer
16 years 26 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
234
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Visual Analytics is the science of applying reasoning and analysis techniques to large, complex real-world data for problem solving using visualizations. Real world knowledge gath...