1999 search results - page 140 / 400 » Dependently Typed Grammars |
149
click to vote
CSMR
2005
IEEE
15 years 12 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
123
click to vote
GD
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we study simple families of clustered graphs that are highly unconnected. We start by studying 3-cluster cycles, which are clustered graphs such that the underlying ...
164
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...
182
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a system that performs hierarchical error recovery, and detects and corrects a single error in a sentence at the lexical, syntactic, and/or semantic levels. I...
164
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...