2597 search results - page 185 / 520 » On numbers of Davenport-Schinzel sequences |
124
click to vote
QEST
2010
IEEE
14 years 11 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...
117
click to vote
RECOMB
2010
Springer
14 years 11 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...
143
Voted
ICCV
2009
IEEE
14 years 11 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...
112
click to vote
ICDAR
2009
IEEE
14 years 11 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...
130
click to vote
ICMCS
2009
IEEE
14 years 11 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...