1888 search results - page 195 / 378 » Proof theory and computational analysis |
108
Voted
DATAMINE
1998
15 years 14 days ago
1998
The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We then describe linear Support Vector Machines (SVMs) for separable and non-...
156
Voted
AGP
2010
IEEE
14 years 11 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
148
Voted
CL
2012
Springer
13 years 3 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
105
Voted
ICFP
2008
ACM
16 years 23 days ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
114
Voted
ICNP
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...