1870 search results - page 244 / 374 » Abstract And-Parallel Machines |
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract– The investigation of continuum robots has become an area of considerable interest in the last several years. Unlike conventional robotic manipulators which bend in disc...
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
ICAIL
2003
ACM
14 years 1 months ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...
AVBPA
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In face recognition, a simple classifier such as NNk − is frequently used. For a robust system, it is common to construct the multiclass classifier by combining the out...
CC
2003
Springer
14 years 1 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...