4100 search results - page 638 / 820 » General Linear Cameras |
190
click to vote
CSL
2004
Springer
16 years 15 days ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
189
click to vote
DSMML
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Gaussian process prior systems generally consist of noisy measurements of samples of the putatively Gaussian process of interest, where the samples serve to constrain the...
204
click to vote
ECCV
2004
Springer
16 years 14 days ago
2004
Springer
Diffusion tensor magnetic resonance imaging (DT-MRI) is emerging as an important tool in medical image analysis of the brain. However, relatively little work has been done on produ...
172
click to vote
EVOW
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. In this paper we analyze two proteomic pattern datasets containing measurements from ovarian and prostate cancer samples. In particular, a linear and a quadratic support ...
207
Voted
FSTTCS
2004
Springer
16 years 14 days ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...