811 search results - page 84 / 163 » When Novelty Is Not Enough |
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
Most research in the area of publish/subscribe systems has not considered fault-tolerance as a central design issues. However, faults do obviously occur and masking all faults is a...
HVC
2005
Springer
14 years 3 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
KES
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents an effective strategy to extract the buildings and to reconstruct 3-D buildings using high-resolution multispectral stereo satellite images. Proposed scheme con...
MICAI
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we describe EventNet, a toolkit for inferring temporal relations between Commonsense events. It comprises 10,000 nodes and 30,000 temporal links mined from the Openm...
WWIC
2005
Springer
14 years 3 months ago
2005
Springer
UMTS/WLAN integration offers considerable benefits for the users as well as for the mobile network. As soon as coverage is available, a mobile user should be able to switch seamle...