16666 search results - page 136 / 3334 » Descriptive and Computational Complexity |
138
click to vote
CN
1999
15 years 3 months ago
1999
To enable the resource discovery of audiovisual documents over the World Wide Web, it will be necessary to define content description standards or metadata standards for complex, ...
145
click to vote
DCC
2007
IEEE
16 years 3 months ago
2007
IEEE
We consider the problem of multiple description (MD) coding for stationary sources with the squared error distortion measure. The MD rate region is derived for the stationary and ...
146
click to vote
DCC
2004
IEEE
16 years 3 months ago
2004
IEEE
The public key cryptosystems MST1 and MST2 make use of certain kinds of factorizations of finite groups. We show that generalizing such factorizations to infinite groups allows a ...
134
click to vote
GROUP
1999
ACM
15 years 8 months ago
1999
ACM
This paper demonstrates how activity theoretic concepts can be used in conjunction with an ethnographically informed approach to derive requirements on a work situation. We presen...
135
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...