Sciweavers

3856 search results - page 263 / 772
» Models for Automated Earthmoving
Sort
View
195
Voted
WOA
2001
15 years 8 months ago
A Knowledge Modeling Tool for Rule-Based Agents
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
Marco Repetto, Christian Vecchiola, Antonio Boccal...
EAAI
2008
104views more  EAAI 2008»
15 years 6 months ago
Feasible distributed CSP models for scheduling problems
Nowadays, many real problems can be formalized as Distributed CSPs. A distributed constraint satisfaction problem (DisCSP) is a CSP in which variables and constraints are distribu...
Miguel A. Salido, Adriana Giret
FAC
2008
117views more  FAC 2008»
15 years 6 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
CSDA
2006
142views more  CSDA 2006»
15 years 6 months ago
Automatic approximation of the marginal likelihood in non-Gaussian hierarchical models
Fitting of non-Gaussian hierarchical random effects models by approximate maximum likelihood can be made automatic to the same extent that Bayesian model fitting can be automated ...
Hans J. Skaug, David A. Fournier
GIS
2004
ACM
16 years 7 months ago
Adaptive hierarchical RBF interpolation for creating smooth digital elevation models
This paper presents a fast algorithm for smooth digital elevation model interpolation and approximation from scattered elevation data. The global surface is reconstructed by subdi...
Joachim Pouderoux, Jean-Christophe Gonzato, Ireneu...