8874 search results - page 307 / 1775 » A New Implementation of Automath |
176
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
In this paper we introduce a new shape constraint for interactive image segmentation. It is an extension of Veksler's star-convexity prior, in two ways: from a single star to ...
168
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
The computation of triangular decompositions involves two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new...
173
click to vote
ISVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
A new hybrid CMOS-nanoscale circuit style has been developed that uses only one type of Field Effect Transistor (FET) in the logic portions of a design. This is enabled by CMOS pro...
145
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a new basis for the implementation of a shifter functional unit. We present a design based on the inverse butterfly and butterfly datapath circuits that perfo...
179
click to vote
IFIP
2007
Springer
16 years 27 days ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...