587 search results - page 85 / 118 » A Formal Framework for Developing Adaptable Service-Based Ap... |
137
click to vote
ENVSOFT
2002
15 years 2 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
124
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
158
click to vote
ARCS
2010
Springer
15 years 6 months ago
2010
Springer
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
IANDC
2010
15 years 1 months ago
2010
We study the set TA of infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on ...
133
click to vote
AMC
2007
15 years 3 months ago
2007
The surface estimation problem is used as a model to demonstrate a framework for solving early vision problems by high-order regularization with natural boundary conditions. Becaus...