3564 search results - page 447 / 713 » Evaluating a Formal Modelling Language |
141
click to vote
JMLR
2012
13 years 6 months ago
2012
We describe a novel approach to quadrature for ratios of probabilistic integrals, such as are used to compute posterior probabilities. This approach offers performance superior t...
160
click to vote
JMLR
2010
14 years 10 months ago
2010
Inducing a grammar from text has proven to be a notoriously challenging learning task despite decades of research. The primary reason for its difficulty is that in order to induce...
115
click to vote
IDEAS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
135
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
123
click to vote
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...