460 search results - page 60 / 92 » Computational Analysis of Move Structures in Academic Abstra... |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
82
Voted
WCNC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—As an emerging application scenario of wireless technologies, vehicular communications have been initiated not only for enhancing the transportation safety and driving e...
IIE
2008
14 years 9 months ago
2008
Abstract. Biology has moved from a bench-based discipline to a bioinformational science in modern times but application of computational and analytical methods of informatics in it...
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract – In this paper, a variational message passing framework is proposed for Markov random fields. Analogous to the traditional belief propagation algorithm, variational mes...
MM
2003
ACM
15 years 3 months ago
2003
ACM
In this paper, we propose a novel solution for segmenting an instructional video into hierarchical topical sections. Incorporating the knowledge of education-oriented film theory...