8499 search results - page 22 / 1700 » cans 2009 |
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
The restarted line search, or coordinate-wise search, algorithm is tested on the BBOB 2009 testbed. Two different univariate search algorithms (fminbnd from MATLAB and STEP) were...
CNL
2009
13 years 11 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
ICUMT
2009
13 years 7 months ago
2009
Serious games embody a class of applications able to produce real world benefits for individuals, or for the society, through the entertainment of players engaged in a game. The pe...
CANS
2009
Springer
14 years 4 months ago
2009
Springer
We propose an efficient blind certification protocol with interesting properties. It falls in the Groth-Sahai framework for witness-indistinguishable proofs, thus extended to a ce...
CNL
2009
13 years 11 months ago
2009
Abstract. Anaphora resolution in current computer-processable controlled natural languages relies mainly on syntactic information, accessibility constraints and the distance of the...