173 search results - page 3 / 35 » Aspect presence verification conditional on other aspects |
ACCV
1998
Springer
13 years 11 months ago
1998
Springer
Abstract In this paper will be investigated what constraints on the intrinsic parameters that are needed in order to reconstruct an unknown scene from a number of its projective im...
NAR
2000
13 years 7 months ago
2000
Human genome polymorphism is expected to play a key role in defining the etiologic basis of phenotypic differences between individuals in aspects such as drug responses and common...
DIGRA
2005
Springer
14 years 26 days ago
2005
Springer
As a growing number of people play computer games with small-screen mobile devices such as handheld computers, mobile phones and handheld game consoles, it is important to know wh...
DAC
2005
ACM
13 years 9 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...