1235 search results - page 105 / 247 » Structured Meanings in Computational Linguistics |
161
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
147
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper compares two grammar based Evolutionary Automatic Programming methods, Grammatical Evolution (GE) and Chorus. Both systems evolve sequences of derivation rules...
144
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
When assembling MEMS devices or manipulating biological cells it is often beneficial to have information about the force that is being applied to these objects. This force informa...
174
click to vote
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
Objects like road networks, CAD/CAM components, electrical or electronic circuits, molecules, can be represented as graphs, in many modern applications. In this paper, we propose ...
169
click to vote
CICLING
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...