6960 search results - page 522 / 1392 » Continuity Analysis of Programs |
201
click to vote
VIIP
2001
15 years 8 months ago
2001
This work focuses on the visual representation of relations towards aiding the exploration and analysis of network intrusions. Fundamentally, the visual representations aid an ana...
155
click to vote
JLP
2006
15 years 7 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
198
click to vote
JMIV
2006
15 years 7 months ago
2006
In image motion analysis as well as for several application fields like daily pluviometry data modeling, observations contain two components of different nature. A first part is ma...
205
click to vote
TITS
2008
15 years 6 months ago
2008
This paper presents two different types of visual activity analysis modules based on vehicle tracking. The highway monitoring module accurately classifies vehicles into eight diffe...
144
click to vote
JUCS
2002
15 years 6 months ago
2002
: A metric defined by Fine induces a topology on the unit interval which is strictly stronger than the ordinary Euclidean topology and which has some interesting applications in Wa...