2875 search results - page 283 / 575 » Model checking agentspeak |
126
Voted
EVOW
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a novel representation and ordering model that, aided by an evolutionary algorithm, is used in solving the graph k-colouring problem. Its strength lies in redu...
144
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
139
click to vote
PTS
2004
15 years 5 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
128
click to vote
ICCAD
2003
IEEE
16 years 16 days ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
136
click to vote
CVPR
2001
IEEE
16 years 5 months ago
2001
IEEE
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...