4502 search results - page 45 / 901 » Regular Model Checking |
CVPR
2007
IEEE
14 years 12 months ago
2007
IEEE
Kernel machines have recently been considered as a promising solution for implicit surface modelling. A key challenge of machine learning solutions is how to fit implicit shape mo...
TEC
2008
13 years 9 months ago
2008
Under mild conditions, it can be induced from the Karush-Kuhn-Tucker condition that the Pareto set, in the decision space, of a continuous multiobjective optimization problem is (m...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Acoustic room modeling has several applications. Recent results using large microphone arrays show good performance, and are helpful in many applications. For example, when design...
ICPR
2010
IEEE
14 years 10 days ago
2010
IEEE
—In this paper we present a method for seamless enlargement and editing of intricate near-regular type of bidirectional texture function (BTF) which contains simultaneously both ...
ACL
2009
13 years 7 months ago
2009
Stochastic gradient descent (SGD) uses approximate gradients estimated from subsets of the training data and updates the parameters in an online fashion. This learning framework i...