8911 search results - page 1559 / 1783 » Intelligent Systems for Tourism |
173
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we introduce XCSF with support vector prediction: the problem of learning the prediction function is solved as a support vector regression problem and each classifie...
334
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
216
click to vote
EEE
2004
IEEE
15 years 11 months ago
2004
IEEE
e-Transformation technologies, for the past few years, have been evolving towards the goal of information integration and system interoperability. While there is no doubt that int...
176
click to vote
CLEF
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...
201
click to vote
EGICE
2006
15 years 11 months ago
2006
Reusing or modifying known design concepts cannot meet new challenges for engineering systems. However, engineers can find inspiration outside their traditional domains in order to...