Sciweavers

1701 search results - page 145 / 341
» Computer Science and State Machines
Sort
View
GI
2007
Springer
15 years 4 months ago
Developing a Security Event Management System for Intermodal Transport
: Bremen, Federal State of Germany, is planning to set up a headquarter for GMES - Global Monitoring of Environment and Security. One goal of the Institute of Shipping Economics an...
Rainer Müller
ICALP
2007
Springer
15 years 4 months ago
Reachability-Time Games on Timed Automata
d Abstract) Marcin Jurdzi´nski and Ashutosh Trivedi Department of Computer Science, University of Warwick, UK In a reachability-time game, players Min and Max choose moves so that...
Marcin Jurdzinski, Ashutosh Trivedi
93
Voted
SOFSEM
2004
Springer
15 years 3 months ago
Processing XPath Expressions in Relational Databases
Abstract. Research on processing XML documents gained much activity in recent times. XML query languages are mostly based on XPath expressions, which are used to select parts of XM...
Tadeusz Pankowski
SOFSEM
1997
Springer
15 years 2 months ago
Time Optimal Self-Stabilizing Algorithms
: In this paper we rst present a general lower bound on the stabilization time which holds for a number of graph theoretic problems, including leader election, spanning tree constr...
Rastislav Kralovic

Dataset
1298views
15 years 11 months ago
Single Image Visibility Restoration Comparison
This database contains color and gray level original images with results obtained by current state of the art algorithms in visibility restoration/haze removal. In any publication ...
J.-P. Tarel and N. Hautière