2128 search results - page 273 / 426 » A general characterization of indulgence |
100
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Geocomputation has a long tradition in dealing with fuzzyness in different contexts, most notably in the challenges created by the representation of geographic space in digital for...
105
Voted
ICDT
2007
ACM
15 years 7 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
109
Voted
ISVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The proposed work exploits methods and techniques for automatic characterization of images for content-based access to personal photo libraries. Several techniques, even ...
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
116
Voted
MHCI
2007
Springer
15 years 7 months ago
2007
Springer
Information navigation on handheld displays is characterized by the small display dimensions and limited input capabilities of today’s mobile devices. Special strategies are req...