2586 search results - page 430 / 518 » Automatic Abstraction for Congruences |
151
click to vote
IJCV
2007
14 years 11 months ago
2007
Abstract. In this work we present a novel system for autonomous mobile robot navigation. With only an omnidirectional camera as sensor, this system is able to build automatically a...
MTA
2002
14 years 11 months ago
2002
Abstract. In this paper, we develop a content-based video classification approach to support semantic categorization, high-dimensional indexing and multi-level access. Our contribu...
NGC
2002
Springer
14 years 11 months ago
2002
Springer
Abstract Most previous creativity support systems sustain shortterm temporal thinking that is separate from users' daily activities. In this paper, we propose a system to supp...
106
click to vote
PAAPP
2002
14 years 11 months ago
2002
Abstract. The performance of shared-memory (OpenMP) implementations of three different PDE solver kernels representing finite difference methods, finite volume methods, and spectra...
104
click to vote
TCAD
1998
14 years 11 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...