1710 search results - page 199 / 342 » High-Level Programs and Program Conditions |
109
Voted
TACAS
2010
Springer
14 years 11 months 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 ...
139
Voted
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...
156
Voted
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...
125
click to vote
WWW
2004
ACM
16 years 2 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...
103
click to vote
WWW
2002
ACM
16 years 2 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 ...