1005 search results - page 95 / 201 » Patterns for Refinement Automation |
HICSS
2010
IEEE
14 years 2 months ago
2010
IEEE
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
ITC
2003
IEEE
14 years 1 months ago
2003
IEEE
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...
DIAGRAMS
2000
Springer
14 years 2 days ago
2000
Springer
Bar charts are common data representations in scientific and technical papers. In order to recognize the printed bar charst, we present a new Hough based bar chart recognition algo...
EJC
2010
13 years 7 months ago
2010
A classical result of Euler states that the tangent numbers are an alternating sum of Eulerian numbers. A dual result of Roselle states that the secant numbers can be obtained by a...
ACTA
2005
13 years 7 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...