1734 search results - page 165 / 347 » its 2000 |
123
click to vote
IJUFKS
2000
15 years 5 months ago
2000
Continuous archimedean t-norms are generated by automorphisms f of ([0; 1]; ), the unit interval with its usual order structure. Such strict t-norms 4 are given by x 4 y = f 1 (f(...
169
click to vote
INFORMATICALT
2000
15 years 5 months ago
2000
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...
153
click to vote
IPL
2000
15 years 5 months ago
2000
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an e...
153
click to vote
JCC
2000
15 years 5 months ago
2000
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
159
click to vote
JCST
2000
15 years 5 months ago
2000
LinuxDirector is a connection director that supports load balancing among multiple Internet servers, which can be used to build scalable Internet services based on clusters of ser...