2585 search results - page 447 / 517 » Automating Coherent Logic |
125
Voted
PLDI
2010
ACM
15 years 5 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...
83
Voted
IPMU
2010
Springer
15 years 5 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...
99
Voted
NAACL
2003
15 years 2 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...
110
Voted
BMCBI
2006
15 years 26 days 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...
150
Voted
ANSOFT
2002
15 years 20 days 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...