694 search results - page 117 / 139 » An Intelligent Query Interface with Natural Language Support |
ITS
2004
Springer
15 years 7 months ago
2004
Springer
Previous research has shown that self-explanation can be supported effectively in an intelligent tutoring system by simple means such as menus. We now focus on the hypothesis that ...
137
click to vote
PVLDB
2008
15 years 11 days ago
2008
Data exchange is the process of converting an instance of one schema into an instance of a different schema according to a given specification. Recent data exchange systems have l...
127
click to vote
ISQED
2003
IEEE
15 years 7 months ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
117
click to vote
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
122
click to vote
TES
2000
Springer
15 years 5 months ago
2000
Springer
XML is rapidly becoming one of the most widely adopted technologies for information exchange and representation. As the use of XML becomes more widespread, we foresee the developme...