3388 search results - page 648 / 678 » Type-theoretic design patterns |
SENSYS
2003
ACM
14 years 28 days ago
2003
ACM
Experience has shown that the power consumption of sensors and other wireless computational devices is often dominated by their communication patterns. We present a practical real...
CICLING
2003
Springer
14 years 27 days ago
2003
Springer
NLPsystem developers and corpus lexicographers would both bene t from a tool for nding and organizing the distinctive patterns of use of words in texts. Such a tool would be an ass...
FSTTCS
2003
Springer
14 years 27 days ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
IBPRIA
2003
Springer
14 years 27 days ago
2003
Springer
In this paper we present an environment for the tracking of a human face obtained from a real video sequence. We will describe the system and discuss the advantages and disadvanta...
IMR
2003
Springer
14 years 26 days ago
2003
Springer
Parameterizations of triangulated surfaces are used in an increasing number of mesh processing applications for various purposes. Although demands vary, they are often required to...