9626 search results - page 1424 / 1926 » Invariant Based Programming |
228
click to vote
ACL
1990
15 years 8 months ago
1990
Collocational knowledge is necessary for language generation. The problem is that collocations come in a large variety of forms. They can involve two, three or more words, these w...
169
click to vote
COLING
1992
15 years 8 months ago
1992
A formal treatment of typed feature structures (TFSs) is developed to augment TFSs, so that negative descriptions of them can be treated. Negative descriptions of TFSs can make li...
180
click to vote
IJCAI
1989
15 years 8 months ago
1989
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...
249
click to vote
IWAR
1992
15 years 8 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
188
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...