2610 search results - page 344 / 522 » The Recognition Strategy Language |
127
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
148
click to vote
DLOG
1996
15 years 7 months ago
1996
Ford Motor Company's Direct Labor Management System (DLMS) utilizes knowledgerepresentation schemebased on the KL-ONEfamily of languages to represent the world of automobile ...
137
click to vote
AAAI
1990
15 years 7 months ago
1990
We have developed two systems, FN and ANDD, that use natural language and graphical displays, respectively, to communicate information about objects to human users. Both systems m...
169
click to vote
IJCAI
1989
15 years 7 months ago
1989
Each concept description language and search strategy has an inherent inductive bias, a preference for some hypotheses over others. No single inductive bias performs optimally on ...
152
click to vote
NAACL
2010
15 years 4 months ago
2010
In evidence-based medicine, clinical questions involve four aspects: Patient/Problem (P), Intervention (I), Comparison (C) and Outcome (O), known as PICO elements. In this paper w...