2585 search results - page 447 / 517 » Automating Coherent Logic |
161
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
111
click to vote
IPMU
2010
Springer
15 years 9 months ago
2010
Springer
We introduce a general definition for the independence of a number of finite-valued variables, based on coherent lower previsions. Our definition has an epistemic flavour: it a...
134
click to vote
NAACL
2003
15 years 5 months ago
2003
We examine clarification dialogue, a mechanism for refining user questions with follow-up questions, in the context of open domain Question Answering systems. We develop an algori...
143
Voted
BMCBI
2006
15 years 4 months ago
2006
Background: The use of global gene expression profiling to identify sets of genes with similar expression patterns is rapidly becoming a widespread approach for understanding biol...
173
click to vote
ANSOFT
2002
15 years 4 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...