6608 search results - page 51 / 1322 » On the Completeness of Model Checking |
105
Voted
NN
2010
Springer
14 years 11 months ago
2010
Springer
— This paper proposes a neural network model capable of completing partly occluded contours. The model is a hierarchical multi-layered network. Using the responses of bend-extrac...
98
Voted
CORR
2004
Springer
15 years 18 days ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
99
Voted
APN
2009
Springer
15 years 7 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
106
Voted
DNA
2005
Springer
15 years 6 months ago
2005
Springer
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...
109
Voted
MOMM
2009
ACM
15 years 5 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...