248 search results - page 31 / 50 » A Unifying Model of Variables and Names |
CSMR
2008
IEEE
15 years 4 months ago
2008
IEEE
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
ISI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract— Community discovery has drawn significant research interests among researchers from many disciplines for its increasing application in multiple, disparate areas, inclu...
COSIT
2009
Springer
15 years 2 months ago
2009
Springer
Named urban neighborhoods (localities) are often examples of vague place extents. These are compared with current knowledge of vagueness in concepts and categories within semantic ...
NIPS
2007
14 years 11 months ago
2007
A wide variety of Dirichlet-multinomial ‘topic’ models have found interesting applications in recent years. While Gibbs sampling remains an important method of inference in su...
JFP
2006
14 years 9 months ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...