Sciweavers

16518 search results - page 160 / 3304
» A New Approach to Splitting-Off
Sort
View
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
15 years 3 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim
INTERNET
2010
283views more  INTERNET 2010»
15 years 3 months ago
Querying the Data Web: The MashQL Approach
 We propose a query formulation language, called MashQL for querying and mashing up structured data on the web. The novelty of  MashQL is that it does not requireÂ...
Mustafa Jarrar, Marios D. Dikaiakos
JMLR
2010
143views more  JMLR 2010»
15 years 3 months ago
A Quasi-Newton Approach to Nonsmooth Convex Optimization Problems in Machine Learning
We extend the well-known BFGS quasi-Newton method and its memory-limited variant LBFGS to the optimization of nonsmooth convex objectives. This is done in a rigorous fashion by ge...
Jin Yu, S. V. N. Vishwanathan, Simon Günter, ...
PR
2010
129views more  PR 2010»
15 years 3 months ago
Parsimonious reduction of Gaussian mixture models with a variational-Bayes approach
Aggregating statistical representations of classes is an important task for current trends in scaling up learning and recognition, or for addressing them in distributed infrastruc...
Pierrick Bruneau, Marc Gelgon, Fabien Picarougne
SMA
2010
ACM
160views Solid Modeling» more  SMA 2010»
15 years 3 months ago
A geostatistical approach to define guidelines for radon prone area identification
Radon is a natural radioactive gas known to be the main contributor to natural background radiation exposure and the major leading cause of lung cancer second to smoking. Indoor ra...
Riccardo Borgoni, Piero Quatto, Giorgio Somà...