Search Sciweavers | Sciweavers

4617 search results - page 152 / 924

» Automation of Diagrammatic Reasoning

115

click to vote

JAR
2006

63views more JAR 2006»

Automated Reasoning for Security Protocol Analysis

15 years 6 months ago

Download www.easychair.org

Alessandro Armando, David A. Basin, Jorge Cu&eacut...

claim paper

Read More »

125

click to vote

TOSEM
2008

75views more TOSEM 2008»

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning

15 years 6 months ago

Download laser.cs.umass.edu

Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...

claim paper

Read More »

102

click to vote

CORR
2002
Springer

89views Education» more CORR 2002»

A Spectrum of Applications of Automated Reasoning

15 years 6 months ago

Download ftp.mcs.anl.gov

Larry Wos

claim paper

Read More »

132

click to vote

IDA
1998
Springer

103views Information Technology» more IDA 1998»

Reasoning about Sensor Data for Automated System Identification

15 years 6 months ago

Download www.cs.colorado.edu

Elizabeth Bradley, Matthew Easley

claim paper

Read More »

136

click to vote

AICOM
2010

102views more AICOM 2010»

An application of automated reasoning in natural language question answering

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers