896 search results - page 50 / 180 » On completeness of word reversing |
100
Voted
ADBIS
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes a new XML compression scheme that offers both high compression ratios and short query response time. Its core is a fully reversible transform featuring substit...
125
Voted
FUN
2010
Springer
15 years 5 months ago
2010
Springer
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
107
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
In this report paper we collect recent results on the vertex reconstruction in Cayley graphs Cay(G, S). The problem is stated as the problem of reconstructing a vertex from the mi...
72
Voted
CAD
2008
Springer
15 years 25 days ago
2008
Springer
In computer-aided design and meshing, it is often important to identify the discontinuities (singularities) in coarse surface meshes. Due to the potential low resolution and noise...
137
click to vote
ENTCS
2006
15 years 22 days ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...