666 search results - page 100 / 134 » Inspector Methods for State Abstraction |
DIS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...
ISLPED
1999
ACM
15 years 2 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...
IFM
1999
Springer
15 years 1 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
ZUM
1992
Springer
15 years 1 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
ACCV
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. This paper introduces an efficient way of representing textures using connected regions which are formed by coherent multi-scale over-segmentations. We show that the rece...