9719 search results - page 627 / 1944 » Inference for Multiplicative Models |
165
click to vote
SPIN
2005
Springer
16 years 15 days ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
180
click to vote
ACL
2007
15 years 8 months ago
2007
We introduce a framework for syntactic parsing with latent variables based on a form of dynamic Sigmoid Belief Networks called Incremental Sigmoid Belief Networks. We demonstrate ...
171
click to vote
CRIWG
2007
15 years 8 months ago
2007
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...
178
click to vote
COMAD
2008
15 years 8 months ago
2008
Orion is a state-of-the-art uncertain database management system that extends the relational model to include probabilistic uncertain data as first call data types. This demonstra...
193
click to vote
AAAI
2000
15 years 8 months ago
2000
Intelligent user interfaces often rely on modified applications and detailed application models. Such modifications and models are expensive to build and maintain. We propose to a...