1737 search results - page 277 / 348 » On Interpolation in Existence Logics |
169
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Faced with growing knowledge management needs, enterprises are increasingly realizing the importance of seamlessly integrating critical business information distributed across bot...
163
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
131
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
144
click to vote
FSKD
2005
Springer
15 years 11 months ago
2005
Springer
Although many systems exist for automatic classification of faces according to their emotional expression, these systems do not explicitly estimate the strength of given expression...
146
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...