Sciweavers

2564 search results - page 188 / 513
» Witness sets of projections
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
COLT
2010
Springer
15 years 3 months ago
Composite Objective Mirror Descent
We present a new method for regularized convex optimization and analyze it under both online and stochastic optimization settings. In addition to unifying previously known firstor...
John Duchi, Shai Shalev-Shwartz, Yoram Singer, Amb...
JMLR
2010
158views more  JMLR 2010»
15 years 21 days ago
Topology Selection in Graphical Models of Autoregressive Processes
An algorithm is presented for topology selection in graphical models of autoregressive Gaussian time series. The graph topology of the model represents the sparsity pattern of the...
Jitkomut Songsiri, Lieven Vandenberghe
SCIA
2011
Springer
216views Image Analysis» more  SCIA 2011»
14 years 8 months ago
Triangulating a Plane
Abstract. In this theoretical paper we consider the problem of accurately triangulating a scene plane. Rather than first triangulating a set of points and then fitting a plane to...
Carl Olsson, Anders Eriksson
ICDE
2006
IEEE
135views Database» more  ICDE 2006»
16 years 7 months ago
Reverse Nearest Neighbors Search in Ad-hoc Subspaces
Given an object q, modeled by a multidimensional point, a reverse nearest neighbors (RNN) query returns the set of objects in the database that have q as their nearest neighbor. I...
Man Lung Yiu, Nikos Mamoulis