6894 search results - page 372 / 1379 » Generation Problems |
248
click to vote
MBUI
2004
15 years 8 months ago
2004
This position paper discusses the idea of the suitability of the Model Based User Interface Development (MB-UID) to develop commercial applications in industrial environments. Mai...
167
Voted
ACL
1994
15 years 8 months ago
1994
The computational lexicalization of a grammar is the optimization of the links between lexicalized rules and lexical items in order to improve the quality of the bottom-up filteri...
118
click to vote
EJC
2010
15 years 6 months ago
2010
We invesitage the multiplicative loops of finite semifields. We show that the group generated by the left and right multiplication maps contains the special linear group. This resu...
157
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
Let T be the Cayley graph of a finitely generated free group F. Given two vertices in T consider all the walks of a given length between these vertices that at a certain time must...
211
click to vote
AISC
2010
Springer
15 years 4 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...