7821 search results - page 97 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
150
click to vote
TACAS
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
154
click to vote
UAI
1994
15 years 7 months ago
1994
Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction whe...
216
click to vote
MT
2007
15 years 5 months ago
2007
Statistical machine translation systems are usually trained on large amounts of bilingual text (used to learn a translation model), and also large amounts of monolingual text in th...
152
click to vote
ACL
2003
15 years 7 months ago
2003
We address appropriate user modeling in order to generate cooperative responses to each user in spoken dialogue systems. Unlike previous studies that focus on user’s knowledge o...
158
click to vote
DATAMINE
2006
15 years 6 months ago
2006
Standard hidden Markov models (HMM's) have been studied extensively in the last two decades. It is well known that these models assume state conditional independence of the ob...