12257 search results - page 298 / 2452 » Analysis of Algorithms |
188
click to vote
CAIP
2007
Springer
15 years 11 months ago
2007
Springer
This paper reports about the development of two provably correct approximate algorithms which calculate the Euclidean shortest path (ESP) within a given cube-curve with arbitrary a...
193
click to vote
ACSC
2002
IEEE
16 years 7 days ago
2002
IEEE
We propose a flow-sensitive alias analysis algorithm that computes safe and efficient alias sets in Java. For that, we propose a references-set representation of aliased elements,...
205
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
196
click to vote
GBRPR
2005
Springer
16 years 24 days ago
2005
Springer
One of the main difficult problem in video analysis is to track moving objects during a video sequence, especially in presence of occlusions. Unfortunately, almost all the differ...
172
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
We describe a novel iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. Our new approach is considerably faster than p...