3179 search results - page 506 / 636 » Applications of PCF Theory |
ISEM
2008
13 years 9 months ago
2008
Advanced mobile technology continues to shape professional environments. Smart cell phones, pocket computers and laptop computers reduce the need of users to remain close to a wir...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
—The paper studies the problem of securely storing biometric passwords, such as fingerprints and irises. With the help of coding theory Juels and Wattenberg derived in 1999 a sc...
JNS
2008
13 years 9 months ago
2008
This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to de...
JAPLL
2006
13 years 9 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
JBI
2006
13 years 9 months ago
2006
Domain reference ontologies represent knowledge about a particular part of the world in a way that is independent from specific objectives, through a theory of the domain. An exam...