Sciweavers

3031 search results - page 504 / 607
» Investigating human-computer optimization
Sort
View
LFP
1992
153views more  LFP 1992»
14 years 11 months ago
Reasoning About Programs in Continuation-Passing Style
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
Amr Sabry, Matthias Felleisen
WCE
2007
14 years 11 months ago
Gelatine-Hydroxyapatite Nanocomposites for Orthopaedic Applications
—This study focuses on the preparation and testing of hydroxyapatite-gelatine nanocomposite gels via a sol-gel route and in situ formation of hydroxyapatite (HA) type salts. Four...
U. Vidyarthi, P. Zhdan, C. Gravanis, C. Lekakou
AMW
2009
14 years 11 months ago
Checking Containment of Schema Mappings (Preliminary Report)
In data exchange, data are materialised from a source schema to a target schema, according to suitable source-to-target constraints. Constraints are also expressed on the target sc...
Andrea Calì, Riccardo Torlone
ATAL
2010
Springer
14 years 11 months ago
Divide-and-coordinate: DCOPs by agreement
In this paper we investigate an approach to provide approximate, anytime algorithms for DCOPs that can provide quality guarantees. At this aim, we propose the divide-and-coordinat...
Meritxell Vinyals, Marc Pujol, Juan A. Rodrí...
DICTA
2009
14 years 11 months ago
Improved Single Image Dehazing Using Geometry
Images captured in foggy weather conditions exhibit losses in quality which are dependent on distance. If the depth and atmospheric conditions are known, one can enhance the images...
Peter Carr, Richard Hartley