Sciweavers

381 search results - page 49 / 77
» Tableaux for Acceptance Logic
Sort
View
MICAI
2007
Springer
14 years 2 months ago
VisualBlock-FIR for Fault Detection and Identification: Application to the DAMADICS Benchmark Problem
This paper describes a fault diagnosis system (FDS) for non-linear plants based on fuzzy logic. The proposed scheme, named VisualBlock-FIR, runs under the Simulink framework and en...
Antoni Escobet, Àngela Nebot, Franço...
DEXAW
2006
IEEE
127views Database» more  DEXAW 2006»
14 years 2 months ago
History Checking of XML Data Streams
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
Alessandro Campi, Paola Spoletini
ECAI
2004
Springer
14 years 2 months ago
Indirect and Conditional Sensing in the Event Calculus
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
Jeremy Forth, Murray Shanahan
KES
2004
Springer
14 years 2 months ago
Representing Knowledge in Controlled Natural Language: A Case Study
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
RE
2004
Springer
14 years 2 months ago
RETNA: From Requirements to Testing in a Natural Way
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay,...