3233 search results - page 66 / 647 » Validation Method for Intelligent Systems |
110
click to vote
FLAIRS
2008
15 years 4 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
103
click to vote
ISMB
2000
15 years 3 months ago
2000
This paper presents a framework called Parallel Experiment Planning (PEP) that is based on an abstraction of how experiments are performed in the domain of macromolecular crystall...
109
click to vote
FLAIRS
2004
15 years 3 months ago
2004
This paper presents a new approach for combining different semantic disambiguation methods that are part of a Word Sense Disambiguation(WSD) system. The way these methods are comb...
106
click to vote
ACL
2003
15 years 3 months ago
2003
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The syste...
117
click to vote
TABLEAUX
2007
Springer
15 years 8 months ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...