2881 search results - page 291 / 577 » Model Checking for Programming Languages using Verisoft |
176
click to vote
DGO
2008
15 years 8 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
163
click to vote
LPNMR
1999
Springer
15 years 11 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
231
click to vote
JMLR
2012
13 years 9 months ago
2012
We propose a new family of latent variable models called max-margin min-entropy (m3e) models, which define a distribution over the output and the hidden variables conditioned on ...
199
click to vote
JMLR
2012
13 years 9 months ago
2012
The development of accurate models and efficient algorithms for the analysis of multivariate categorical data are important and longstanding problems in machine learning and compu...
231
click to vote
JMLR
2012
13 years 9 months ago
2012
We present an algorithm for fast posterior inference in penalized high-dimensional state-space models, suitable in the case where a few measurements are taken in each time step. W...