6045 search results - page 330 / 1209 » Computable Linearizations of Well-partial-orderings |
182
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Although ear recognition has been researched widely, there still exist some problems to be resolved in depth such as multi-pose ear recognition which is rarely focused on. In this...
214
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
204
Voted
SCIA
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose novel blur invariant features for the recognition of objects in images. The features are computed either using the phase-only spectrum or bispectrum of th...
203
Voted
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
192
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...