8499 search results - page 22 / 1700 » cans 2009 |
GECCO
2009
Springer
15 years 5 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...
117
Voted
CNL
2009
15 years 1 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...
99
Voted
ICUMT
2009
14 years 10 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...
92
Voted
CANS
2009
Springer
15 years 7 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...
113
click to vote
CNL
2009
15 years 1 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...