Search Sciweavers | Sciweavers

9145 search results - page 144 / 1829

» Description Logic Systems

162

Voted

RML
2002

140views Business» more RML 2002»

UML as knowledge acquisition frontend for Semantic Web configuration knowledge bases

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...

Alexander Felfernig, Gerhard Friedrich, Dietmar Ja...

claim paper

Read More »

135

click to vote

CADE
1992
Springer

116views Logical Reasoning» more CADE 1992»

PVS: A Prototype Verification System

15 years 9 months ago

Download ix.cs.uoregon.edu

Sam Owre, John M. Rushby, Natarajan Shankar

claim paper

Read More »

111

click to vote

CADE
1990
Springer

107views Logical Reasoning» more CADE 1990»

The TPS Theorem Proving System

15 years 9 months ago

Download www.cs.cmu.edu

Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank ...

claim paper

Read More »

129

click to vote

FSKD
2006
Springer

121views Fuzzy Logic» more FSKD 2006»

PWM Fuzzy Controller for Nonlinear Systems

15 years 9 months ago

Download raic.kunsan.ac.kr

Young Hoon Joo, Sung Ho Kim, Kwang-Baek Kim

claim paper

Read More »

119

click to vote

CADE
2010
Springer

162views Logical Reasoning» more CADE 2010»

Verifying Safety Properties with the TLA+ Proof System

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers