44651 search results - page 197 / 8931 » Generalized |
116
Voted
VLDB
1989
ACM
15 years 9 months ago
1989
ACM
We present a framework for the estimation of the size of binary recursively defined relations. We show how the framework can be used to provide estimating algo rithms for the size...
116
Voted
CASC
2007
Springer
15 years 9 months ago
2007
Springer
We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...
123
Voted
SPAA
2000
ACM
15 years 8 months ago
2000
ACM
Cohen et al. [5] recently initiated the theoretical study of connection caching in the world-wide web. They extensively studied uniform connection caching, where the establishment...
137
Voted
WIA
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with va...
126
Voted
ICRA
1995
IEEE
15 years 8 months ago
1995
IEEE
In this paper we consider the structural properties of the dynamics of robotic manipulation systems of a rather general class, including multiple cooperating, possibly whole-arm l...