PRISM - PDFSEARCH.IO - Document Search Engine

PRISM
Results: 1433

#	Item
861	PRISMNewsletter-Jan 07final Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 15:45:07 Transport Federal Motor Carrier Safety Administration Road safety Mozilla Prism Prism State police Trucking industry in the United States Software Television in the United States
862	To: PRISM State IRP Offices From: PRISM Technical Support Team Date: Feb 11, 2014 Subject: FMCSA’s new URS Rule and Impact on PRISM IRP Processes Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 16:00:18 Federal Motor Carrier Safety Administration PRISM Software Television in the United States Mozilla Prism
863	TOOLKIT fo r Developing and Implementing Poverty Reduction through Irrigation and Smallholder Markets (PRISM) Programs Add to Reading List Source URL: www.ideorg.org Language: English - Date: 2009-08-29 14:39:34 Poverty reduction Farm Builders International Development Enterprises Agriculture Agricultural diversification
864	Verification of Topographic Road Centerline Data Using ALOS/PRISM Images: Implementation 27 Verification of Topographic Road Centerline Data Using ALOS/PRISM Images: Implementation Add to Reading List Source URL: www.gsi.go.jp Language: English - Date: 2010-10-20 03:51:36 Computer vision Geography Geomorphology Physical geography Topography Geographic information system Segmentation Histogram Georeference Image processing Cartography Statistics
865	Performance and Registration Information Systems Management (PRISM) SYSTEM SPECIFICATION Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 15:16:49 Hexagonal prism File system Prism Free content Software Mozilla Prism ReD
866	Automated Game-theoretic Verification for Probabilistic Systems   Dave Parker  University of Birmingham Imperial College London, December 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-12-13 17:18:55 Model checkers Mathematical logic Formal languages PRISM model checker Model checking Markov chain Stochastic Well-formed formula Linear temporal logic Logic Statistics Mathematics
867	PRISM Newsletter June 2007 Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 15:38:58 Federal Motor Carrier Safety Administration Road safety Prism United States Department of Transportation Trucking industry in the United States Television in the United States Transport
868	Microsoft Word - PRISM Newsletter Dec 2002_Vol 2 Iss 3.doc Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 15:54:17 Road transport Federal Motor Carrier Safety Administration Road safety United States Department of Transportation Prism Trucks Commercial vehicles Transport Trucking industry in the United States Land transport
869	APEX™ COMMANDER GROUND STATION MANAGEMENT SYSTEM SeaSpace currently supports processing of the following satellites: • ALOS-PALSAR, PRISM, and AVNIR II • Aqua/Terra-MODIS Add to Reading List Source URL: www.seaspace.com Language: English - Date: 2011-11-08 21:51:19 Knowledge representation Metadata Technical communication Telemetry TerraSAR-X Data Technology Information Data management
870	Quan%ta%ve Veriﬁca%on: Correctness, Reliability and Beyond Dave Parker University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 17:08:31 Statistics Applied mathematics SPIN model checker Mathematics Markov chain PRISM model checker Algorithm Probability Model checkers Markov models Theoretical computer science

UPDATE