4166 search results - page 242 / 834 » Automating the constraining process |
158
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
In constraint or preference reasoning, a typical task is to compute a solution, or an optimal solution. However, when one has already a solution, it may be important to produce th...
150
click to vote
PLILP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
158
click to vote
GIS
1992
ACM
15 years 8 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
121
click to vote
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Medical reports are predominantly written in natural language; as such they are not computer-accessible. A common way to make medical narrative accessible to automated sy...
116
click to vote
CANDC
2005
ACM
15 years 6 months ago
2005
ACM
Important design problems are raised in developing software for amateur users, a group distinguished here from novices. The authors argue that these design problems can be approac...