747 search results - page 134 / 150 » An Alternative Representation for QBF |
104
click to vote
MKM
2009
Springer
15 years 6 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
QI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. It is argued that the vector space measures used to measure closeness of market prices to predictors for market prices are invalid because of the observed metric of commo...
AUTOMOTIVEUI
2009
ACM
15 years 6 months ago
2009
ACM
Over the last 100 years it has become much easier to operate a car. However in recent years the number of functions a user can control while driving has greatly increased. Infotai...
102
click to vote
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Within the present paper, we put forward a novel hybridization between support vector machines and evolutionary algorithms. Evolutionary support vector machines consider the cl...
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...