2233 search results - page 275 / 447 » Modular type classes |
174
click to vote
IGPL
2010
15 years 3 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
180
click to vote
TFS
2011
15 years 1 months ago
2011
Fuzzy pattern tree induction was recently introduced as a novel machine learning method for classification. Roughly speaking, a pattern tree is a hierarchical, tree-like structur...
198
click to vote
TSP
2011
15 years 1 months ago
2011
Abstract—We introduce an extended family of continuous-domain stochastic models for sparse, piecewise-smooth signals. These are specified as solutions of stochastic differential...
191
click to vote
AIPS
2011
14 years 10 months ago
2011
Research in efficient methods for solving infinite-horizon MDPs has so far concentrated primarily on discounted MDPs and the more general stochastic shortest path problems (SSPs...
201
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present an active geodesic contour model in which we constrain the evolving active contour to be a geodesic with respect to a weighted edge-based energy through its entire evol...