546 search results - page 3 / 110 » Extended Null-Move Reductions |
RTA
2001
Springer
14 years 26 days ago
2001
Springer
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta r...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
Connected operators are an important tool for the analysis of greyscale images. In extending them to colour and other vector images there are a number of issues that must be addre...
TARK
2005
Springer
14 years 1 months ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
ICASSP
2011
IEEE
13 years 5 days ago
2011
IEEE
This paper deals with the problem of finding the optimal sequence of sub-word unit HMMs for a number of given utterances of a word. For this problem we present a new solution bas...
ICML
2007
IEEE
14 years 9 months ago
2007
IEEE
We study the problem of discovering a manifold that best preserves information relevant to a nonlinear regression. Solving this problem involves extending and uniting two threads ...