428 search results - page 30 / 86 » Completeness of a Fact Extractor |
CSL
2008
Springer
15 years 1 months ago
2008
Springer
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...
SOCRATES
2008
15 years 1 months ago
2008
In Fall 2007, Utah State University professor David Wiley held a course about Open Education. That time Dr Wiley's course was followed by an unusual group of students. The Fa...
FLAIRS
2006
15 years 1 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
FOIS
2006
15 years 1 months ago
2006
The Gene Ontology captures information at a very small scale, namely: molecular function, biological process, and cellular components. At this level, the Gene Ontology project shou...
ANLP
2000
15 years 1 months ago
2000
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...