搜索资源列表
TriGrid-src-20020218
- Programs in the irregular grid design package described in this manual are used to carry out five main functions: verification and adjustment of coastline and bathymetric data preparation of an irregular triangular depth grid covering the
Garmin_GPS_xla_01c
- The advantages of automation can be exploited in order to solve or to minimize the needs of manual approach. In order to support the development of survey accurate cadastral system, an automatic programming approach will be adopted. Database se
01InternetworingBasics
- This chapter works with the next six chapters to act as a foundation for the technology discussions that follow. In this chapter, some fundamental concepts and terms used in the evolving language of internetworking are addressed. In the same way
Symbolic_Model_Checking_floc06
- Symbolic Model Checking
sampleproject
- VS.NET插件 可以定义模式检查代码 演示了如何开发addin-VS.NET plug-in can define the model checking code demonstrates how to develop addin
C-jinghua
- 当一个数据库管理系统被使用时，有关数据管理组织的详细情形不必被建立在每一个应用程序中：应用程序通过文件名向数据库管理系统要数据。-The multiple-database model is represented by proposals for shared and private database architect rues, checkout and checking of data to and from shared and private databases．Each user
Economics-of-Software-Verification
- How can we determine the added value of software verification techniques over the more readily available conventional testing techniques? Formal verification techniques introduce both added costs and potential benefits. Can we show objectively
Chsrara
- 基于摄像头的人脸肤色模型检测测，采用HSV空间。 -Camera-based skin color model checking measured using the HSV color space.
chap_4_3_1_2B
- 基于matlab的模型检测，仿真，主要针对的是轮廓控制部分。带有仿真结果-Matlab based model checking, simulation, mainly for the contour control section. With simulation results