5623 search results - page 250 / 1125 » Estimating in Actual Time |
198
click to vote
ESA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Traditional shortest path problems play a central role in both the design and use of communication networks and have been studied extensively. In this work, we consider a...
140
Voted
VLDB
2005
ACM
16 years 2 days ago
2005
ACM
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...
181
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
193
click to vote
ESA
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we study a class of optimal path problems with the following phenomenon: The space complexity of the algorithms for reporting the lengths of single-source optimal pa...
178
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...