1116 search results - page 58 / 224 » Applying Predicate Abstraction to Abstract State Machines |
136
Voted
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we consider the possibility of obtaining a kernel machine that is sparse in feature space and smooth in output space. Smooth in output space implies that t...
150
click to vote
IJON
2006
15 years 4 months ago
2006
Abstract. Functional data analysis is a growing research field and numerous works present a generalization of the classical statistical methods to function classification or regres...
129
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
161
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
116
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...