搜索资源列表
NuSMV-2.4.3.tar.gz
- NuSMV是一个符号模型检测器，由CMU的SMV发展而来的。,NuSMV-2.4.3 a model checking tool
gb_handle
- /* gb_handle.c --- a gb encoding handle for libexpat 1.95.x */ /* create by hunter, 2004-1-29 */ /* utf-convert is original from Guo Jin (guojin@iss.nus.sg) */ /* and I change it a lot.-/* Gb_handle.c--- a gb encoding handle for libexpat 1.9
ns2-cbrp
- ns2.1b5版本中cbrp碼，由http://www.comp.nus.edu.sg/~tayyc/cbrp/可得-ns2.1b5 version cbrp code, by http://www.comp.nus.edu.sg/ ~ tayyc/cbrp/available
2-camera-optical-flow-NUS
- 这个程序应用于机器人视觉系统。可以即时从两个摄像头同时读取摄像。程序包括视屏抓取，光流计算以及计算结果检验。计算结果通过串口直接发送到控制计算机。-This program is dedicated to capture real time optical flow from two cameras with intersect angle 180 or 120 degree. It includes Optical flow capturing, calculation
crisp-nus-edu-sg
- Blackbody radiation notes from a web site.