9325 search results - page 402 / 1865 » The decentralized implementability problem |
143
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
138
Voted
IJCNN
2000
IEEE
15 years 9 months ago
2000
IEEE
Selectiveattentionis a mechanismsused to sequentiallyselectthe spatiallocationsof salientregionsin the sensor’sfieldof view. This mechanism overcomesthe problem of flooding limi...
150
click to vote
GECCO
1999
Springer
15 years 9 months ago
1999
Springer
This paper uses the GP paradigm to evolve linear genotypes (individuals) that consist of Java byte code. Our prototype GP system is implemented in Java using a standard Java devel...
125
Voted
ICLP
1998
Springer
15 years 9 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
149
click to vote
ISCOPE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We discuss the parallelization and object-oriented implementation of Monte Carlo simulations for physical problems. We present a C++ Monte Carlo class library for the aut...