3239 search results - page 514 / 648 » A Logical Process Calculus |
108
click to vote
IJCAI
2003
15 years 2 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
127
click to vote
WSC
1997
15 years 2 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
104
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
118
Voted
BMCBI
2010
15 years 28 days ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
123
Voted
INFORMS
1998
15 years 14 days ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...