16218 search results - page 285 / 3244 » Standards |
158
Voted
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...
159
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...
171
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
In this paper we present a technique to optimize queries on deductive databases that use aggregate operations such as min, max, and “largest Ic values.” Our approach is based ...
183
Voted
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...
310
click to vote
BMVC
2002
15 years 9 months ago
2002
Statistical models of shape and appearance have been successfully used in face modeling, tracking and synthesis. In this paper we describe experiments using appearance models for ...