1847 search results - page 123 / 370 » Hybrid Functional Interpretations |
156
click to vote
CONCUR
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
143
click to vote
BXML
2003
15 years 7 months ago
2003
Abstract. This paper describes the work done in developing a real automatic meteorological information system by means of building a VoiceXML framework, or browser, over an open so...
180
click to vote
AMMA
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. We present Turing Trade, a web-based game that is a hybrid of a Turing test and a prediction market. In this game, there is a mystery conversation partner, the “target,...
199
click to vote
ICRA
2008
IEEE
16 years 6 days ago
2008
IEEE
— Planetary exploration systems, operating under severe environmental and operating conditions, have thus far successfully employed carefully calibrated stereo cameras and manipu...
155
click to vote
GECCO
2007
Springer
15 years 12 months ago
2007
Springer
As a learning method support vector machine is regarded as one of the best classifiers with a strong mathematical foundation. On the other hand, evolutionary computational techniq...