18209 search results - page 396 / 3642 » Some Remarks on the Paper |
177
click to vote
CEFP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
174
click to vote
CLEF
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper describes the results of the INAOE’s answer validation system evaluated at the Spanish track of the AVE 2007. The system is based on a supervised learning ap...
158
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Preferences and uncertainty are common in many real-life problems. In this paper, we focus on bipolar preferences and on uncertainty modelled via uncontrollable variables. However,...
158
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Most Higher Education institutions are now embracing e-learning to some extent. Some have instigated institution-wide e-learning initiatives, whilst others are engaging in the use ...
160
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...