1993 search results - page 173 / 399 » Analysis of the Effectiveness of G3PARM Algorithm |
ICCAD
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper is concerned with approximate delay computation algorithms for combinational circuits. As a result of intensive research in the early 90’s [3, 8] efficient tools exi...
CVPR
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a new statistical model for detecting and tracking deformable objects such as pedestrians, where large shape variations induced by local shape deformation can ...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
Tags have recently become popular as a means of annotating and organizing Web pages and blog entries. Advocates of tagging argue that the use of tags produces a 'folksonomy&#...
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
SIGIR
2003
ACM
15 years 3 months ago
2003
ACM
One of the major problems in question answering (QA) is that the queries are either too brief or often do not contain most relevant terms in the target corpus. In order to overcom...