Sciweavers

4716 search results - page 711 / 944
» Tangible functional programming
Sort
View
COCOA
2007
Springer
15 years 5 months ago
On Threshold BDDs and the Optimal Variable Ordering Problem
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
Markus Behle
ERCIMDL
2007
Springer
111views Education» more  ERCIMDL 2007»
15 years 5 months ago
Using Watermarks and Offline DRM to Protect Digital Images in DIAS
The Digital Image Archiving System (DIAS) is an image management system, the major functions of which are preserving valuable digital images and serving as an image provider for ex...
Hsin-Yu Chen, Hsiang-An Wang, Chin-Lung Lin
SAT
2007
Springer
95views Hardware» more  SAT 2007»
15 years 5 months ago
Solving Multi-objective Pseudo-Boolean Problems
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
Martin Lukasiewycz, Michael Glaß, Christian ...
85
Voted
ESCIENCE
2006
IEEE
15 years 5 months ago
TextGrid and eHumanities
TextGrid is a new Grid project in the framework of the German D-Grid initiative, with the aim to deploy Grid technologies for humanities scholars working on historical (German) te...
Peter Gietz, Andreas Aschenbrenner, Stefan Bü...
IEEECIT
2006
IEEE
15 years 5 months ago
Design and Implementation of Distributed Task Sequencing on GridRPC
In the framework of GridRPC, a new function that allows direct data transfer between RPC servers is implemented for efficient execution of a Task Sequencing job in a grid environ...
Yusuke Tanimura, Hidemoto Nakada, Yoshio Tanaka, S...