564 search results - page 3 / 113 » Corner cutting systems |
CADE
1999
Springer
13 years 10 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...
APPINF
2003
13 years 7 months ago
2003
In direct interconnection networks, the collective communication operation one to all, which is usually referred to as broadcasting, can be generalized to allow one source node to...
ICMI
2000
Springer
13 years 9 months ago
2000
Springer
Abstract Eyes play important roles in emotion and paralinguistic communications. Detection of eye state is necessaryfor applicationssuch as driver awareness systems. In this paper,...
ICARCV
2002
IEEE
13 years 10 months ago
2002
IEEE
Corner extraction is an important task in many computer vision systems. The quality of the corners and the efficiency of the detection method are two very important aspects that ...
VLSID
2008
IEEE
14 years 4 days ago
2008
IEEE
With the shift towards deep sub-micron (DSM) technologies, the increase in leakage power and the adoption of poweraware design methodologies have resulted in potentially significa...