11-20 of 325 Matching Directory Listings
Dictionary of Socio-Rhetorical Terms
Contains known terms and definitions covering inner, social-cultural, ideological and sacred texture.
http://www.religion.emory.edu/faculty/robbins/SRI/defns/
Sri Lanka Junglefowl (Gallus lafayetii)
Addresses status, related species, biology, distribution, threats, and conservation. Includes images and video.
http://www.arkive.org/sri-lanka-junglefowl/gallus-lafayetii/
PVS Specification and Verification System
Specification language integrated with support tools and a theorem prover. With documentation and download links.
http://pvs.csl.sri.com/
GeoVRML.org
Develops tools for virtual reality modeling. Contains details on the working group, resources and mailing list.
http://www.ai.sri.com/geovrml/
TerraVision
Allows users to navigate through a 3-D graphical representation of a real landscape and features include browsing huge datasets, data that can be distributed over multiple server, and available for Windows, Linux and SGI.
http://www.ai.sri.com/TerraVision/
Grasper-CL
Features the system that can view and control graph-structured information. Includes details and diagrams on applications used.
http://www.ai.sri.com/~grasper/
North Carolina Stream Restoration Institute
Initiative aimed at improving water quality and aquatic ecology through research, demonstration projects, and public education.
http://www.bae.ncsu.edu/programs/extension/wqg/sri/
Online Evaluation Resource Library
Site created for professionals who seek o design, conduct, document, or review project evaluations. Evaluation plans, instruments, and reports provided.
http://oerl.sri.com/
Sparrow Road Intermediat
Showcases details about the school, grade level information, events calendar, and school news.
http://eclipse.cps.k12.va.us/Schools/SRI/index.html
SRI Secure Systems
Presents members, projects like protocol specification language, papers and links.
http://www.csl.sri.com/programs/security/
Mission-Impact-Based Approach to INFOSEC Alarm Correlation
Helps reduce time and costs through strategy of topology analysis, alert prioritization, and common alert aggregation.
http://www.sdl.sri.com/papers/mcorrelator/
|
BOTW Sponsors
Your Ad Here - FREE Trial
|