2450 search results - page 197 / 490 » Time Mapping with Hypergraphs |
144
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...
124
click to vote
IBPRIA
2007
Springer
15 years 9 months ago
2007
Springer
We present a new method for the synchronization of a pair of video sequences and the spatial registration of all the temporally corresponding frames. This is a mandatory step to pe...
130
click to vote
MOMM
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we describe completed and ongoing work towards an interactive multimedia system that will appeal to today’s youth culture identified as most likely to adopt such ...
111
Voted
ISAAC
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Graphical features on map, charts, diagrams and graph drawings usually must be annotated with text labels in order to convey their meaning. In this paper we focus on a pr...
124
Voted
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 7 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...