314 search results - page 43 / 63 » Cubical token systems |
102
click to vote
PAMI
2002
14 years 11 months ago
2002
We describe a robust and efficient system for recognizing typeset and handwritten mathematical notation. From a list of symbols with bounding boxes the system analyzes an expressio...
106
click to vote
FSTTCS
2008
Springer
15 years 25 days ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
ACSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
The wide use of Flash technologies makes the security risks posed by Flash content an increasingly serious issue. Such risks cannot be effectively addressed by the Flash player, w...
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...
102
click to vote
CPM
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...