4166 search results - page 247 / 834 » Automating the constraining process |
137
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Office activity procedure automation is getting very popular in major organizations. During the automation then workflow method is chosen frequently, because of its possibility to ...
164
click to vote
ICDE
2002
IEEE
15 years 9 months ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
139
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
140
click to vote
DLOG
2003
15 years 5 months ago
2003
We propose a method to compare semantically two natural language texts. The process is realized in two steps, the first translates the texts into description logics terminologies...
140
Voted
ACL
1996
15 years 5 months ago
1996
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interfac...