Lecture Notes in Computer Science - Foundations of Intelligent Systems
Latest Publications

TOTAL DOCUMENTS

60
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540636144, 9783540696124
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Abstraction of representation for interoperation

1997 ◽  
pp. 441-455 ◽  
Author(s):  
David A. Maluf ◽  
Gio Wiederhold

Verification and validation of AI systems that control deep-space spacecraft

1997 ◽  
pp. 35-47 ◽  
Author(s):  
Michael Lowry ◽  
Klaus Havelund ◽  
John Penix
Keyword(s):  
Verification And Validation ◽  
Deep Space

scholarly journals Completeness for linear regular negation normal form inference systems

1997 ◽  
pp. 590-599 ◽  
Author(s):  
Reiner Hähnle ◽  
Neil V. Murray ◽  
Erik Rosenthal
Keyword(s):  
Normal Form ◽  
Inference Systems

Boolean reasoning for feature extraction problems

1997 ◽  
pp. 117-126 ◽  
Author(s):  
Hung Son Nguyen ◽  
Andrzej Skowron
Keyword(s):  
Feature Extraction

A WordNet based rule generalization engine in meaning extraction system

1997 ◽  
pp. 529-539
Author(s):  
Joyce Yue Chai ◽  
Alan W. Biermann
Keyword(s):  
Extraction System

An interactive constraint-based system for selective attention in visual search

1997 ◽  
pp. 431-440 ◽  
Author(s):  
R. Cucchiara ◽  
E. Lamma ◽  
P. Mello ◽  
M. Milano
Keyword(s):  
Visual Search ◽  
Selective Attention

Discovering empirical equations from robot-collected data

1997 ◽  
pp. 287-297 ◽  
Author(s):  
Kuang-Ming Huang ◽  
Jan M. Zytkowt
Keyword(s):  
Empirical Equations
Load More ...
Sign in / Sign up

Export Citation Format

Share Document