11808 search results - page 333 / 2362 » Isometries and Computability Structures |
159
click to vote
COMPGEOM
2004
ACM
16 years 22 hour ago
2004
ACM
For many geometric problems, there are efficient algorithms that use surprisingly very little extra space other than the given array holding the input. For many geometric query pr...
132
click to vote
DSOM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...
161
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
208
click to vote
AFPAC
2000
Springer
15 years 11 months ago
2000
Springer
The structure of hypersurfaces corresponding to different spatio-temporal patterns is considered, and in particular representations based on geometrical invariants, such as the Ri...
175
click to vote
ACL
2008
15 years 8 months ago
2008
Chinese characters that are similar in their pronunciations or in their internal structures are useful for computer-assisted language learning and for psycholinguistic studies. Al...