1122 search results - page 118 / 225 » Behavioral Extensions of Institutions |
150
click to vote
JMLR
2008
15 years 4 months ago
2008
The support vector machine has been successful in a variety of applications. Also on the theoretical front, statistical properties of the support vector machine have been studied ...
134
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose inductive distance-based methods for instance classification and retrieval in ontologies. Casting retrieval as a classification problem with the goal of assess...
135
click to vote
LISP
2008
15 years 4 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
146
click to vote
LISP
2008
15 years 4 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
131
click to vote
ENTCS
2007
15 years 4 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...