1888 search results - page 278 / 378 » Proof theory and computational analysis |
107
click to vote
SCIA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Since texture is scale dependent, multi-scale techniques are quite useful for texture classification. Scale-space theory introduces multi-scale differential operators. In...
150
Voted
MMSEC
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents a theoretical security analysis of lattice data hiding. The security depends on the secrecy of a dither signal that randomizes the codebook. If the same secret...
INFOVIS
2005
IEEE
15 years 7 months ago
2005
IEEE
The general problem of visualizing “family trees”, or genealogical graphs, in 2D, is considered. A graph theoretic analysis is given, which identifies why genealogical graphs...
101
click to vote
CSCW
2004
ACM
15 years 7 months ago
2004
ACM
A shared visual workspace allows multiple people to see similar views of objects and environments. Prior empirical literature demonstrates that visual information helps collaborat...
117
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...