2478 search results - page 120 / 496 » Quadtrees as an Abstract Domain |
ICCBR
1995
Springer
13 years 11 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...
NORMAS
2005
Springer
14 years 1 months ago
2005
Springer
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...