Sciweavers

15485 search results - page 185 / 3097
» Computing Optimal Subsets
Sort
View
189
Voted
CVPR
2008
IEEE
16 years 8 months ago
Skeletal graphs for efficient structure from motion
We address the problem of efficient structure from motion for large, unordered, highly redundant, and irregularly sampled photo collections, such as those found on Internet photo-...
Noah Snavely, Steven M. Seitz, Richard Szeliski
ICCSA
2003
Springer
15 years 11 months ago
The p-th Order Necessary Optimality Conditions for Inequality-Constrained Optimization Problems
Abstract. In this paper, we consider a nonlinear optimization problem with inequality constraints. The paper addresses the degenerate case when the active constraint gradients are ...
Olga Brezhneva, Alexey Tret'yakov
295
Voted

Book
314views
17 years 4 months ago
Programming in Martin-Löf's Type Theory
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
Bengt Nordström, Kent Petersson, Jan M. Smith
IPPS
2003
IEEE
15 years 11 months ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He
SIGMETRICS
2011
ACM
208views Hardware» more  SIGMETRICS 2011»
14 years 9 months ago
Structure-aware sampling on data streams
The massive data streams observed in network monitoring, data processing and scientific studies are typically too large to store. For many applications over such data, we must ob...
Edith Cohen, Graham Cormode, Nick G. Duffield