3573 search results - page 709 / 715 » Reasoning about Codata |
GI
2009
Springer
13 years 7 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
CSDA
2007
13 years 9 months ago
2007
The maximum rank correlation (MRC) estimator was originally studied by Han [1987. Nonparametric analysis of a generalized regression model. J. Econometrics 35, 303–316] and Sher...
JIRS
2000
13 years 9 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
LOGCOM
2000
13 years 9 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
AI
1998
Springer
13 years 9 months ago
1998
Springer
Renewed motives for space exploration have inspired NASA to work toward the goal of establishing a virtual presence in space, through heterogeneous eets of robotic explorers. Info...