Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 34 from your keywords: subject="Reasoning"
First Page Previous 1 2 3 4
cover
Reliable reasoning :induction and statistical learning theory
Comment Share
Harman, Gilbert.Kulkarni, Sanjeev.

"A Bradford book."The implications for philosophy and cognitive science of developments in statistical learning theory.OCLC-licensed vendor bibliographic record.

Edition
-
ISBN/ISSN
9780262274975
Collation
1 online resource (x, 108 pages) :illustrations.
Series Title
-
Call Number
-
cover
Reasoning about knowledge
Comment Share
Fagin, Ronald.

Title from title screen.Title from website (viewed Jan. 20, 2006).Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each other's knowledge--was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to …

Edition
-
ISBN/ISSN
9780262256094
Collation
1 online resource (xiii, 517 pages) :illustrations
Series Title
-
Call Number
-
cover
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design…
Comment Share
RUZICA, PiskacMICHAEL, Whalen

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMC…

Edition
-
ISBN/ISSN
9783854480464
Collation
-
Series Title
-
Call Number
-
cover
Data-Driven Fault Detection and Reasoning for Industrial Monitoring
Comment Share
JING, WangJINGLIN, ZhouXIAOLU, Chen

This open access book assesses the potential of data-driven methods in industrial process monitoring engineering. The process modeling, fault detection, classification, isolation, and reasoning are studied in detail. These methods can be used to improve the safety and reliability of industrial processes. Fault diagnosis, including fault detection and reasoning, has attracted engineers and scien…

Edition
-
ISBN/ISSN
9789811680441
Collation
-
Series Title
-
Call Number
-
First Page Previous 1 2 3 4