3653 search results - page 387 / 731 » Learning of Partial Languages |
186
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
257
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
166
click to vote
SIGADA
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
185
click to vote
SIGIR
2004
ACM
16 years 7 days ago
2004
ACM
Answer patterns have been shown to improve the performance of open-domain factoid QA systems. Their use, however, requires either constructing the patterns manually or developing ...
193
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...