1791 search results - page 349 / 359 » Behavioral Operations |
ENTCS
2000
13 years 7 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
BIOINFORMATICS
1999
13 years 7 months ago
1999
Summary: The Genetic Simulation Library (GSL) is a set of C++ programs and classes that can be used in individualbased simulation models of plant and animal populations. The class...
MR
2002
13 years 7 months ago
2002
Generally, tantalum capacitor failure modes have been discussed both for the standard manganese dioxide cathode and the new conductive polymer (CP) type. For standard tantalum in ...
NN
1998
Springer
13 years 7 months ago
1998
Springer
The selection and control of action is a critical problem for both biological and machine animated systems that must operate in complex real world situations. Visually guided eye ...
TKDE
1998
13 years 7 months ago
1998
—Existing methods for spatial joins require pre-existing spatial indices or other precomputation, but such approaches are inefficient and limited in generality. Operand data sets...