3208 search results - page 265 / 642 » Methods and views |
145
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
173
click to vote
ECCV
2004
Springer
15 years 9 months ago
2004
Springer
Feature point tracking over a video sequence fails when the points go out of the field of view or behind other objects. In this paper, we extend such interrupted tracking by imposi...
150
click to vote
DEXA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Page revisiting is a popular browsing activity in the Web. In this paper we describe a method for improving page revisiting by detecting and highlighting the information ...
187
click to vote
TYPES
1995
Springer
15 years 9 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
172
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
We propose a novel probabilistic method based on the Hidden Markov Model (HMM) to learn the structure of a Latent Variable Model (LVM) for query language modeling. In the proposed...