61 search results - page 8 / 13 » Polymorphic Delimited Continuations |
MVA
1990
13 years 8 months ago
1990
A new high speed word matching algorithm for handwritten Chinese character recomition is presented. Acontinuous string without delimiting space is recognized in real time by using...
IJES
2007
13 years 7 months ago
2007
: The power density in high performance systems continues to rise with every process technology generation, thereby increasing the operating temperature and creating ‘hot spotsâ€...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
The more the information technologies begin to be incorporated into the industrial productive fabric, the more complex it becomes to organise them. It is vital to implant proactiv...
PPDP
2009
Springer
14 years 1 days ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
ICFP
2010
ACM
13 years 7 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...