1710 search results - page 199 / 342 » High-Level Programs and Program Conditions |
118
click to vote
TACAS
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
146
click to vote
JMLR
2012
13 years 4 months ago
2012
We present the first PAC bounds for learning parameters of Conditional Random Fields [12] with general structures over discrete and real-valued variables. Our bounds apply to com...
161
click to vote
JMLR
2012
13 years 4 months ago
2012
In this paper, we propose a novel formulation of the network clique detection problem by introducing a general network data representation framework. We show connections between o...
135
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Content delivery networks have evolved beyond traditional distributed caching. With services such as Akamai's EdgeComputing it is now possible to deploy and run enterprise bu...
107
click to vote
WWW
2002
ACM
16 years 3 months ago
2002
ACM
Network and server-centric computing paradigms are quickly returning to being the dominant methods by which we use computers. Web applications are so prevalent that the role of a ...