4502 search results - page 272 / 901 » Regular Model Checking |
153
click to vote
ACL
1996
15 years 7 months ago
1996
In this paper, we propose a textual clue approach to help metaphor detection, in order to improve the semantic processing of this figure. The previous works in the domain studied ...
171
click to vote
PAMI
2006
15 years 6 months ago
2006
An "inconsistent" particle filter produces--in a statistical sense--larger estimation errors than predicted by the model on which the filter is based. Two test variables ...
130
click to vote
JSYML
1998
15 years 6 months ago
1998
Abstract. We extend Shelah’s first many model result to show that an unstable theory has 2κ many non-permutation group isomorphic models of size κ, where κ is an uncountable ...
143
click to vote
NHM
2010
15 years 1 months ago
2010
A quasistatic evolution problem for a phase transition model with nonconvex energy density is considered in terms of Young measures. We focus on the particular case of a finite num...
128
click to vote
ICANN
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Capturing regularities in high-dimensional data is an important problem in machine learning and signal processing. Here we present a statistical model that learns a nonli...