177 search results - page 29 / 36 » Linearizing Intuitionistic Implication |
SAT
2004
Springer
14 years 27 days ago
2004
Springer
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
HICSS
2003
IEEE
14 years 26 days ago
2003
IEEE
This paper reports on a specific food and agribusiness industry project, employing new technological capabilities to better transfer expert knowledge. Knowledge transfer and techn...
GECCO
2003
Springer
14 years 23 days ago
2003
Springer
Continuous Time Recurrent Neural Networks (CTRNNs) have previously been proposed as an enabling paradigm for evolving analog electrical circuits to serve as controllers for physica...
UML
2001
Springer
13 years 12 months ago
2001
Springer
The Meta-Modeling Language is a static object-oriented modeling language whose focus is the declarative definition of languages. It aims to enable the UML metamodel to be precisely...
MICCAI
1999
Springer
13 years 11 months ago
1999
Springer
The quantitative estimation of regional cardiac deformation from 3D image sequences has important clinical implications for the assessment of viability in the heart wall. Such esti...