9730 search results - page 363 / 1946 » Relating models of backtracking |
169
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
124
click to vote
CLEF
2003
Springer
15 years 11 months ago
2003
Springer
Motivated by the hypothesis that the retrieval performance of a weighting model is independent of the language in which queries and collection are expressed, we compared the retrie...
145
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses interactive function-based shape modeling where relatively small formulas are used rather than thousands of polygons. Interactive modification of the function...
175
Voted
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a new recognition method of lung nodules from X-ray CT images using 3D Markov random field(MRF) models. Pathological shadow candidates are detected by a...
151
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an e...