1087 search results - page 50 / 218 » Eta-Redexes in Partial Evaluation |
148
click to vote
CBMS
2004
IEEE
15 years 10 months ago
2004
IEEE
The osteophyte shows only on some particular locations on the vertebra. This indicates that other locations on the vertebra shape contain that are not of interest hinder the spine...
128
click to vote
ICCAD
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper proposes a definition of magnetic vector potential that can be used to evaluate sparse partial inductance matrices. Unlike the commonly applied procedure of discarding...
142
click to vote
PTS
2008
15 years 7 months ago
2008
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...
150
click to vote
IJDAR
2008
15 years 6 months ago
2008
For character recognition in document analysis, some classes are closely overlapped but are not necessarily to be separated before contextual information is exploited. For classifi...
257
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Fast level set methods replace continuous PDEs by a discrete formulation, improving the execution times. The regularization in fast level set methods was so far handled indirectly...