18090 search results - page 3015 / 3618 » Computing by Only Observing |
178
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
177
click to vote
FPGA
1997
ACM
15 years 11 months ago
1997
ACM
In this paper, we give a necessary and sufficient condition for the existence of partially-dependent functional decomposition and develop new algorithms to compute such decomposi...
183
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...
204
click to vote
COMPGEOM
1996
ACM
15 years 11 months ago
1996
ACM
We show that in the worst case, (ndd=2e;1 +n logn) sidedness queries are required to determine whether the convex hull of n points in IRd is simplicial, or to determine the number ...
156
click to vote
IDMS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper describes WIPETM (Wavelet Image Pornography Elimination), an algorithm capable of classifying an image as objectionable or benign. The algorithm uses a combina...