1218 search results - page 78 / 244 » The many facets of natural computing |
168
Voted
PRDC
2000
IEEE
15 years 9 months ago
2000
IEEE
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...
122
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor step...
147
click to vote
CLIMA
2007
15 years 7 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
161
click to vote
NIPS
1998
15 years 7 months ago
1998
Dyadic data refers to a domain with two nite sets of objects in which observations are made for dyads, i.e., pairs with one element from either set. This type of data arises natur...
166
click to vote
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...