Sciweavers

196 search results - page 7 / 40
» EXACT: the experimental algorithmics computational toolkit
Sort
View
ESA
2000
Springer
112views Algorithms» more  ESA 2000»
13 years 11 months ago
Resource Constrained Shortest Paths
The resource constrained shortest path problem (CSP) asks for the computation of a least cost path obeying a set of resource constraints. The problem is NP-complete. We give theore...
Kurt Mehlhorn, Mark Ziegelmann
ISBI
2007
IEEE
14 years 2 months ago
Non-Iterative Exact Signal Recovery in Frequency Domain Optical Coherence Tomography
We address the problem of exact signal recovery in frequency domain optical coherence tomography (FDOCT) systems. Our technique relies on the fact that, in a spectral interferomet...
S. Chandra Sekhar, Rainer A. Leitgeb, Martin L. Vi...
FPL
2005
Springer
121views Hardware» more  FPL 2005»
14 years 1 months ago
Configuration Merging for Adaptive Computer Applications
We present experimental evidence that multiple compute-units, compiled from sequential high-level language input programs, can be merged into a reduced number of configurations f...
Nico Kasprzyk, Jan van der Veen, Andreas Koch
IJSI
2010
84views more  IJSI 2010»
13 years 6 months ago
Computational Complexity and Anytime Algorithm for Inconsistency Measurement
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zu...
VL
2009
IEEE
175views Visual Languages» more  VL 2009»
14 years 2 months ago
TurKit: Tools for iterative tasks on mechanical turk
Mechanical Turk (MTurk) is an increasingly popular web service for paying people small rewards to do human computation tasks. Current uses of MTurk typically post independent para...
Greg Little, Lydia B. Chilton, Max Goldman, Robert...