1302 search results - page 95 / 261 » Free-Style Theorem Proving |
112
click to vote
JSYML
2000
15 years 2 months ago
2000
Let X be a compact metric space. A closed set K X is located if the distance function d(x, K) exists as a continuous realvalued function on X; weakly located if the predicate d(x,...
103
click to vote
MOC
2000
15 years 2 months ago
2000
The mortar finite element is an example of a non-conforming method which can be used to decompose and re-compose a domain into subdomains without requiring compatibility between th...
119
click to vote
CORR
1998
Springer
15 years 2 months ago
1998
Springer
An important characteristic of many logics for Arti cial Intelligence is their nonmonotonicity. This means that adding a formula to the premises can invalidate some of the consequ...
DM
1998
15 years 2 months ago
1998
Let β(G), Γ(G) and IR(G) be the independence number, the upper domination number and the upper irredundance number, respectively. A graph G is called Γperfect if β(H) = Γ(H),...
122
click to vote
INFORMATICALT
1998
15 years 2 months ago
1998
We discuss an age-sex-structured population dynamics deterministic model taking into account random mating of sexes, females’ pregnancy and its dispersal in whole space. This mod...