77016 search results - page 306 / 15404 » Modeling Modeling |
173
click to vote
ACL
1997
15 years 8 months ago
1997
In this paper we first propose a new statistical parsing model, which is a generative model of lexicalised context-free grammar. We then extend the model to include a probabilisti...
146
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
153
click to vote
AUSAI
2005
Springer
16 years 5 days ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
168
click to vote
JOLLI
2002
15 years 6 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
135
click to vote
IOR
2007
15 years 6 months ago
2007
In this paper, we propose a model of intertemporal choice that explicitly incorporates satiation due to previous consumption in the evaluation of the utility of current consumptio...