2597 search results - page 185 / 520 » On numbers of Davenport-Schinzel sequences |
181
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
183
click to vote
RECOMB
2010
Springer
15 years 4 months ago
2010
Springer
(Motivation) Tree reconciliation is an approach that explains the discrepancies between two evolutionary trees by a number of events such as speciations, duplications, transfers an...
206
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper introduces an efficient algorithm that reconstructs 3D human poses as well as camera parameters from a small number of 2D point correspondences obtained from uncalibrat...
182
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Features representing information about pressure distribution from a static image of a handwritten signature are analyzed for an offline verification system. From gray-scale image...
190
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In the H.264/AVC coding standard, motion estimation (ME) is allowed to use multiple reference frames to make full use of reducing temporal redundancy in a video sequence. Although...