Sciweavers

424 search results - page 70 / 85
» Clustering with Local and Global Regularization
Sort
View
CAV
2007
Springer
164views Hardware» more  CAV 2007»
13 years 11 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
LCPC
2000
Springer
13 years 11 months ago
Compiling Data Intensive Applications with Spatial Coordinates
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...
Renato Ferreira, Gagan Agrawal, Ruoming Jin, Joel ...
TNN
2008
138views more  TNN 2008»
13 years 7 months ago
A Fast and Scalable Recurrent Neural Network Based on Stochastic Meta Descent
This brief presents an efficient and scalable online learning algorithm for recurrent neural networks (RNNs). The approach is based on the real-time recurrent learning (RTRL) algor...
Zhenzhen Liu, Itamar Elhanany
MP
2011
12 years 10 months ago
An interior-point piecewise linear penalty method for nonlinear programming
We present an interior-point penalty method for nonlinear programming (NLP), where the merit function consists of a piecewise linear penalty function (PLPF) and an 2-penalty functi...
Lifeng Chen, Donald Goldfarb
ICCV
2009
IEEE
15 years 20 days ago
Saliency Driven Total Variation Segmentation
This paper introduces an unsupervised color segmentation method. The underlying idea is to segment the input image several times, each time focussing on a different salient part...
Michael Donoser, Martin Urschler, Martin Hirzer an...