5855 search results - page 999 / 1171 » Test generation and minimization with |
154
click to vote
TCOM
2010
15 years 1 days ago
2010
Dynamic spectrum access (DSA) is an integral part of cognitive radio technology aiming at efficient management of the available power and bandwidth resources. The present paper d...
119
click to vote
UTP
2010
15 years 20 hour ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
110
click to vote
BMVC
2010
14 years 11 months ago
2010
We propose a novel directed graphical model for label propagation in lengthy and complex video sequences. Given hand-labelled start and end frames of a video sequence, a variation...
CG
2010
Springer
14 years 11 months ago
2010
Springer
We used in the past a lot of computational power and human expertise for having a very big dataset of good 9x9 Go games, in order to build an opening book. We improved a lot the al...
130
click to vote
ICIP
2010
IEEE
14 years 11 months ago
2010
IEEE
Many well-known existing image matching methods are based on local texture analysis, and consequently have difficulty handling low-textured 3D objects, such as those man-made buil...