1806 search results - page 33 / 362 » Some Functions Computable with a Fused-Mac |
112
click to vote
NSF
1994
Springer
15 years 4 months ago
1994
Springer
The goal of algebraic geometry is to gain an understanding of the behaviour of functions related by polynomial relationships. Algebraic curves and surfaces having considerable adva...
HCI
2009
14 years 10 months ago
2009
In this paper, we present the system that aids people in wearing makeup easily and make the process enjoyable. The proposed system is the "Smart Makeup Mirror" device, w...
88
Voted
DICTA
2003
15 years 1 months ago
2003
A computer vision software library is a key component of vision-based applications. While there are several existing libraries, most are large and comple or limited to a particular...
110
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
AISC
2008
Springer
15 years 2 months ago
2008
Springer
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...