1116 search results - page 42 / 224 » Applying Predicate Abstraction to Abstract State Machines |
IBERAMIA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper we investigate the way of improving the performance of a Named Entity Extraction (NEE) system by applying machine learning techniques and corpus transformat...
112
Voted
IPPS
1998
IEEE
15 years 3 months ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
ASPDAC
2000
ACM
15 years 3 months ago
2000
ACM
A new approach is proposed to translate existing software programs from one instruction set to other instruction sets at the level. The behaviors of instructions are abstractly re...
74
Voted
FSTTCS
2009
Springer
15 years 5 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
ICML
2002
IEEE
15 years 12 months ago
2002
IEEE
An open problem in reinforcement learning is discovering hierarchical structure. HEXQ, an algorithm which automatically attempts to decompose and solve a model-free factored MDP h...