2452 search results - page 139 / 491 » On Reduction of Lagrange Systems |
177
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
We present a novel approach that minimizes the power consumption of embedded core-based systems through hardware/software partitioning. Our approach is based on the idea of mapping...
155
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
155
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
158
click to vote
CBMS
2009
IEEE
16 years 24 days ago
2009
IEEE
In this paper, we present a content-based image retrieval (CBIR) system called MammoSVD. This CBIR system is developed based on breast density – fatty or dense, and the database...
129
click to vote
DATE
2007
IEEE
16 years 10 days ago
2007
IEEE
Researchers previously proposed warp processors, a novel architecture capable of transparently optimizing an executing application by dynamically re-implementing critical kernels ...