3239 search results - page 331 / 648 » A Logical Process Calculus |
145
click to vote
INLG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
136
click to vote
ANSS
2002
IEEE
15 years 9 months ago
2002
IEEE
In previous work we presented an algorithm for cloning parallel simulations that enables multiple simulated execution paths to be explored simultaneously. The method is targeted f...
140
click to vote
TREC
2004
15 years 5 months ago
2004
AnswerFinder combines lexical, syntactic, and semantic information in various stages of the question answering process. The candidate sentences are preselected on the basis of (i)...
119
click to vote
JNCA
2007
15 years 4 months ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
168
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...