2162 search results - page 143 / 433 » Automated Reasoning on Feature Models |
133
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Helmholtz stereopsis is a surface reconstruction method that exploits reciprocity for the recovery of 3D shape without an assumed BRDF model, and it has been shown to yield high q...
156
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
133
click to vote
RIDE
1999
IEEE
15 years 8 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
114
Voted
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
112
Voted
KR
1998
Springer
15 years 8 months ago
1998
Springer
The technical problem addressed in this paper is, given two rule systems for consequence relations X and Y, how to construct Y-approximations of a given X-relation. While an upper...