5718 search results - page 171 / 1144 » Modeling Rule Precision |
177
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
149
click to vote
ALT
2008
Springer
16 years 3 months ago
2008
Springer
In this paper we consider the problem of actively learning the mean values of distributions associated with a finite number of options (arms). The algorithms can select which opti...
141
click to vote
CSL
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
145
click to vote
ICAIL
2005
ACM
16 years 11 hour ago
2005
ACM
This paper analyses the phenomenon of a shift of the burden of proof in legal persuasion dialogues. Some sample dialogues are analysed of types of situations where such a shift ma...
156
click to vote
ICADL
2005
Springer
15 years 12 months ago
2005
Springer
This paper proposes a method for creating a high quality collection of researchers’ homepages. The proposed method consists of three phases: rough filtering of the possible web p...