5015 search results - page 562 / 1003 » Model Checking a Path |
186
click to vote
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
178
click to vote
HCI
2007
15 years 8 months ago
2007
In this paper we present a procedure to learn a topological model of Situated Public Displays from data of people traveling between these displays. This model encompasses the dista...
159
click to vote
WSC
1998
15 years 8 months ago
1998
A major portion of highway construction work is comprised of linear activities. A linear activity is one that progresses along a path (non-stationary), as it does it is complete a...
165
click to vote
IJAIT
2010
15 years 5 months ago
2010
Many real world industrial applications involve finding a Hamiltonian path with minimum cost. Some instances that belong to this category are transportation routing problem, scan c...
194
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
A spatiotemporal network is a spatial network (e.g., road network) along with the corresponding time-dependent weight (e.g., travel time) for each edge of the network. The design ...