745 search results - page 76 / 149 » The origins of combinatorics on words |
82
Voted
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Matrix interpretations can be used to bound the derivational complexity of term rewrite systems. In particular, triangular matrix interpretations over the natural numbers are known...
110
Voted
WDAG
2010
Springer
14 years 8 months ago
2010
Springer
The imminent arrival of best-effort transactional hardware has spurred new interest in the construction of nonblocking data structures, such as those that require atomic updates to...
82
Voted
BPM
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Healthcare providers are under pressure to work more efficiently and in a more patient-focused way. One possible way to achieve this is to launch Business Process Redesig...
CISC
2009
Springer
14 years 8 months ago
2009
Springer
Sanitizable signatures provide several security features which are useful in many scenarios including military and medical applications. Sanitizable signatures allow a semi-trusted...
154
Voted
CMMR
2009
Springer
14 years 8 months ago
2009
Springer
This paper presents novel interaction modes for Model-Based Sonification (MBS) via interactive surfaces. We first discuss possible interactions for MBS on a multi-touch surface. Th...