2920 search results - page 272 / 584 » Finite information logic |
213
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
220
click to vote
ICLP
2011
Springer
14 years 10 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
165
click to vote
EUROSSC
2007
Springer
16 years 27 days ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...
202
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
An expert finding system allows a user to type a simple text query and retrieve names and contact information of individuals that possess the expertise expressed in the query. Thi...
202
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
: The topic of this paper is a novel Bayesian continuous-basis field representation and inference framework. Within this paper several problems are solved: The maximally informativ...