Sciweavers

5105 search results - page 650 / 1021
» An algorithm to determine peer-reviewers
Sort
View
SIAMSC
2008
139views more  SIAMSC 2008»
15 years 7 months ago
Probing the Pareto Frontier for Basis Pursuit Solutions
The basis pursuit problem seeks a minimum one-norm solution of an underdetermined least-squares problem. Basis pursuit denoise (BPDN) fits the least-squares problem only approximat...
Ewout van den Berg, Michael P. Friedlander
ASE
2005
103views more  ASE 2005»
15 years 7 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
IPL
2007
87views more  IPL 2007»
15 years 7 months ago
The forwarding indices of augmented cubes
For a given connected graph G of order n, a routing R in G is a set of n(n − 1) elementary paths specified for every ordered pair of vertices in G. The vertex (resp. edge) forw...
Min Xu, Jun-Ming Xu
217
Voted
TCSV
2008
115views more  TCSV 2008»
15 years 7 months ago
Dynamic Proposal Variance and Optimal Particle Allocation in Particle Filtering for Video Tracking
Abstract--This paper presents a novel particle allocation approach to particle filtering which minimizes the total tracking distortion for a fixed number of particles over a video ...
Pan Pan, Dan Schonfeld
IVS
2007
140views more  IVS 2007»
15 years 7 months ago
Fast point-feature label placement for dynamic visualizations
This paper describes a fast approach to automatic point label de-confliction on interactive maps. The general Map Labeling problem is NP-hard and has been the subject of much stud...
Kevin Mote