Sciweavers

3394 search results - page 135 / 679
» Regular Object Types
Sort
View
SIAMMAX
2010
156views more  SIAMMAX 2010»
14 years 7 months ago
Preconditioned Conjugate Gradient Method for Optimal Control Problems with Control and State Constraints
Optimality systems and their linearizations arising in optimal control of partial differential equations with pointwise control and (regularized) state constraints are considered. ...
Roland Herzog, Ekkehard W. Sachs
SIGMOD
2008
ACM
123views Database» more  SIGMOD 2008»
16 years 28 days ago
SchemaScope: a system for inferring and cleaning XML schemas
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
Geert Jan Bex, Frank Neven, Stijn Vansummeren
101
Voted
SCP
2008
89views more  SCP 2008»
15 years 21 days ago
A challenge for atomicity verification
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
Wim H. Hesselink
77
Voted
ACS
2004
15 years 20 days ago
Descent Theory for Schemes
In this paper we continue the investigation of some aspects of descent theory for schemes that was begun in [11]. Let SCH be a category of schemes. We show that quasi-compact pure ...
Bachuki Mesablishvili
CVPR
2007
IEEE
16 years 2 months ago
Simultaneous Detection and Segmentation of Pedestrians using Top-down and Bottom-up Processing
We present a method for the simultaneous detection and segmentation of people from static images. The proposed technique requires no manual segmentation during training, and explo...
Vinay Sharma, James W. Davis