26602 search results - page 316 / 5321 » A New Imaging Model |
179
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
200
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Structure prediction of membrane proteins is still a challenging computational problem. Hidden Markov models (HMM) have been successfully applied to the problem of pre...
161
click to vote
AUIC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
121
click to vote
CVIU
2006
15 years 6 months ago
2006
In this paper, we explore whether the Fresnel term can be used to improve the predictions of the Beckmann
183
click to vote
PAA
2002
15 years 6 months ago
2002
: The idea of performing model combination, instead of model selection, has a long theoretical background in statistics. However, making use of theoretical results is ordinarily su...