Sciweavers

34 search results - page 7 / 7
» Quality Assessment for Embedded SQL
Sort
View
97
Voted
ISSTA
2009
ACM
15 years 7 months ago
A comparative study of programmer-written and automatically inferred contracts
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer
138
Voted
PICS
2000
15 years 2 months ago
Prism-Based Color Separation for Professional Digital Photography
In the field of silver-halide photography, color separation was explored about a century ago, using filter mosaics, dichroic mirrors, three-shot filtration, and other techniques, ...
Richard F. Lyon
105
Voted
IEAAIE
2009
Springer
15 years 7 months ago
An Agent Model of Temporal Dynamics in Relapse and Recurrence in Depression
Abstract Unipolar depression is a mental disorder characterized by a persistent low mood and loss of awareness or contentment in usual activities [1]. Despite the modern era of pha...
Azizi Ab Aziz, Michel C. A. Klein, Jan Treur
115
Voted
CONSTRAINTS
2007
100views more  CONSTRAINTS 2007»
15 years 1 months ago
Design of Financial CDO Squared Transactions Using Constraint Programming
We give an approximate and often extremely fast method of building a particular kind of portfolio in finance, here called a portfolio design (PD), with applications in the credit ...
Pierre Flener, Justin Pearson, Luis G. Reyna, Olof...