1471 search results - page 269 / 295 » Church: a language for generative models |
129
click to vote
EPIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
111
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
104
Voted
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
Information Retrieval (IR) is a major component in many of our daily activities, with perhaps its most prominent role manifested in search engines. Today’s most advanced engines...
111
click to vote
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
101
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...