Sciweavers

5384 search results - page 225 / 1077
» Open Standards Requirements
Sort
View
ZUM
2000
Springer
15 years 10 months ago
Typechecking Z
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
Ian Toyn, Samuel H. Valentine, Susan Stepney, Stev...
ISLPED
1997
ACM
72views Hardware» more  ISLPED 1997»
15 years 10 months ago
A capacitor-based D/A converter with continuous time output for low-power applications
A digital to analog converter has been developed using switched capacitors as the basic DAC elements. The use of switching capacitors provides excellent matching without sacrifici...
Lapoe Lynn, Paul Ferguson Jr.
BMVC
2001
15 years 9 months ago
Mathematical Morphology in the HLS Colour Space
The HLS colour space is widely used in image analysis as it is physically intuitive. As the hue component of this space is defined on the unit circle, standard greyscale image an...
Allan Hanbury, Jean Serra
ECAI
2008
Springer
15 years 8 months ago
A New Approach to Planning in Networks
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
Jussi Rintanen
EFDBS
2001
15 years 8 months ago
Using Stored Behaviour in Object-Oriented Databases
The existing standard for object-oriented databases (ODMG) provides no facility for storing behaviour. This lack of stored behaviour introduces problems for generic applications as...
Dalen Kambur, Mark Roantree