1471 search results - page 202 / 295 » Church: a language for generative models |
149
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
156
click to vote
WSCG
2000
15 years 7 months ago
2000
The most remarkable trends in communication have been the huge popularity of Internet and the growth of digital cellular telephony usage. There is a strong demand to combine these...
143
click to vote
APAL
2005
15 years 6 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
161
click to vote
CIKM
2009
Springer
16 years 26 days ago
2009
Springer
We investigate the problem of determining the polarity of sentiments when one or more occurrences of a negation term such as “not” appear in a sentence. The concept of the sco...
165
click to vote
VL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— Visualizing software architecture faces the challenges of both data complexity and visual complexity. This paper presents an approach for visualizing software architect...