2162 search results - page 29 / 433 » Automated Reasoning on Feature Models |
109
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Cell viability is one of the basic properties indicating the physiological state of the cell, thus, it has long been one of the major considerations in biotechnologica...
131
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
124
click to vote
LOPSTR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
112
click to vote
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
131
click to vote
ISVC
2007
Springer
15 years 8 months ago
2007
Springer
In comparison with 2D face images, 3D face models have the advantage of being illumination and pose invariant, which provides improved capability of handling changing environments ...