Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state

First Page		Document Content
Date: 2012-08-02 20:51:33 Category theory Abstract algebra Algebra Mathematics Morphism Category Group action Natural transformation Limit Subcategory Functor Universal property		Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 253,78 KB Share Document on Facebook

	Subcategory-aware Convolutional Neural Networks for Object Proposals and Detection 1 Xiang , 2 Choi , DocID: 1uqgB - View Document
	Subcategory-aware Convolutional Neural Networks for Object Proposals and Detection 1 Yu Xiang1 , Wongun Choi2 , Yuanqing Lin3 , and Silvio Savarese4 DocID: 1tMce - View Document
	EXECUTIVE RECOMMENDATION Ballfield Improvements (P008720) Project Category Project SubCategory Project Administering Agency DocID: 1to3h - View Document
	Category Subcategory Statistics DocID: 1tmxx - View Document
	EXECUTIVE RECOMMENDATION Trails: Hard Surface Renovation (P888754) Project Category Project SubCategory Project Administering Agency DocID: 1tj9Q - View Document