5384 search results - page 225 / 1077 » Open Standards Requirements |
156
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
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...
158
click to vote
ISLPED
1997
ACM
15 years 10 months ago
1997
ACM
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...
181
click to vote
BMVC
2001
15 years 9 months ago
2001
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...
133
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
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 ...
180
click to vote
EFDBS
2001
15 years 8 months ago
2001
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...