326 search results - page 21 / 66 » Capabilities for Uniqueness and Borrowing |
AVBPA
2001
Springer
13 years 11 months ago
2001
Springer
We describe a new method for automatic gait recognition based on analysing the symmetry of human motion, by using the Generalised Symmetry Operator. This operator, rather than rely...
ICDE
1994
IEEE
13 years 11 months ago
1994
IEEE
We describe the design of Mariposa, an experimental distributed data management system that provides high performance in an environment of high data mobility and heterogeneous hos...
VLDB
1990
ACM
13 years 10 months ago
1990
ACM
Therequirementsfor amain memorydatastoragemodel are both compactnessand efficient processing for all database operations. The DBGraph storage model, proposed in this paper, achiev...
DATE
2007
IEEE
13 years 10 months ago
2007
IEEE
This paper introduces a technique for the numerical generation of basis functions that are capable of parameterizing the frequency-variant nature of cross-sectional conductor curre...
CAV
2008
Springer
13 years 8 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...