Sciweavers

2905 search results - page 405 / 581
» Formal Memetic Algorithms
Sort
View
SIAMJO
2002
77views more  SIAMJO 2002»
15 years 3 months ago
Modifying SQP for Degenerate Problems
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...
Stephen J. Wright
TCAD
2002
145views more  TCAD 2002»
15 years 3 months ago
Automatic generation of synthetic sequential benchmark circuits
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
Michael D. Hutton, Jonathan Rose, Derek G. Corneil
PAMI
2007
107views more  PAMI 2007»
15 years 3 months ago
Segmentation of Multivariate Mixed Data via Lossy Data Coding and Compression
—In this paper, based on ideas from lossy data coding and compression, we present a simple but effective technique for segmenting multivariate mixed data that are drawn from a mi...
Yi Ma, Harm Derksen, Wei Hong, John Wright
PVLDB
2008
121views more  PVLDB 2008»
15 years 3 months ago
Type inference and type checking for queries on execution traces
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
Daniel Deutch, Tova Milo
PVLDB
2008
132views more  PVLDB 2008»
15 years 3 months ago
Access control over uncertain data
Access control is the problem of regulating access to secret information based on certain context information. In traditional applications, context information is known exactly, p...
Vibhor Rastogi, Dan Suciu, Evan Welbourne