Search Sciweavers | Sciweavers

12946 search results - page 137 / 2590

» Natural Language Processing

172

click to vote

KES
2004
Springer

98views Information Technology» more KES 2004»

Representing Knowledge in Controlled Natural Language: A Case Study

15 years 11 months ago

Download www.comp.mq.edu.au

In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...

Rolf Schwitter

claim paper

Read More »

113

click to vote

FM
2009
Springer

95views Formal Methods» more FM 2009»

A Robust Semantics Hides Fewer Errors

16 years 1 months ago

Download www.cs.waikato.ac.nz

Steve Reeves, David Streader

claim paper

Read More »

116

click to vote

FM
2009
Springer

80views Formal Methods» more FM 2009»

Unifying Probability with Nondeterminism

16 years 1 months ago

Download www.iist.unu.edu

Yifeng Chen, Jeff W. Sanders

claim paper

Read More »

136

click to vote

FM
2009
Springer

115views Formal Methods» more FM 2009»

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study

16 years 1 months ago

Download symbolaris.com

André Platzer, Edmund M. Clarke

claim paper

Read More »

117

click to vote

FM
2009
Springer

127views Formal Methods» more FM 2009»

A Tableau for CTL

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers