Sciweavers

556 search results - page 19 / 112
» Generic Properties of Datatypes
Sort
View
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
13 years 6 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
JMLR
2010
84views more  JMLR 2010»
13 years 2 months ago
Learning Exponential Families in High-Dimensions: Strong Convexity and Sparsity
The versatility of exponential families, along with their attendant convexity properties, make them a popular and effective statistical model. A central issue is learning these mo...
Sham Kakade, Ohad Shamir, Karthik Sindharan, Ambuj...
AUTOMATICA
2008
92views more  AUTOMATICA 2008»
13 years 7 months ago
Generic uniform observability analysis for bilinear systems
In this paper, we study the property of generic uniform observability for structured bilinear systems. More precisely, to check whether or not a structured bilinear system generic...
T. Boukhobza
WCFLP
2005
ACM
14 years 1 months ago
A generic analysis environment for declarative programs
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
Michael Hanus
CVPR
1997
IEEE
13 years 11 months ago
Learning Generic Prior Models for Visual Computation
This paper presents a novel theory for learning generic prior models from a set of observed natural images based on a minimax entropy theory that the authors studied in modeling t...
Song Chun Zhu, David Mumford