Sciweavers

11051 search results - page 353 / 2211
» An Investigation of Generalized Cases
Sort
View
167
Voted
FAW
2008
Springer
104views Algorithms» more  FAW 2008»
15 years 8 months ago
The Parameterized Complexity of the Rectangle Stabbing Problem and Its Variants
We study the parameterized complexity of an NP-complete geometric covering problem called d-dimensional Rectangle Stabbing where we are given a set of axis-parallel d-dimensional h...
Michael Dom, Somnath Sikdar
186
Voted
FORMATS
2008
Springer
15 years 8 months ago
MTL with Bounded Variability: Decidability and Complexity
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...
Carlo A. Furia, Matteo Rossi
JURIX
2007
15 years 8 months ago
Explaining the Relevance of Court Decisions to Laymen
In the context of intelligent disclosure of case law, we report on our findings with respect to the presentation of relevant court decisions back to the laymen users. For this pres...
Gwen R. Wildeboer, Michel C. A. Klein, Elisabeth M...
ALGORITHMICA
2008
83views more  ALGORITHMICA 2008»
15 years 7 months ago
Inferring (Biological) Signal Transduction Networks via Transitive Reductions of Directed Graphs
In this paper we consider the p-ary transitive reduction (TRp) problem where p > 0 is an integer; for p = 2 this problem arises in inferring a sparsest possible (biological) sig...
Réka Albert, Bhaskar DasGupta, Riccardo Don...
ENDM
2010
130views more  ENDM 2010»
15 years 7 months ago
Experimental Analysis of an Online Trading Algorithm
Trading decisions in financial markets can be supported by the use of online algorithms. We evaluate the empirical performance of a threat-based online algorithm and compare it to...
Günter Schmidt, Esther Mohr, Mike Kersch