1370 search results - page 111 / 274 » Towards Automatic Generation of Natural Language Generation ... |
162
click to vote
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
163
click to vote
ENTCS
2006
15 years 4 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
126
click to vote
ICIS
2004
15 years 6 months ago
2004
Although called systems, information systems in organizations are often viewed as tools that "users" use. IS success is often gauged as though it were about acceptance a...
154
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
Computer-Assisted Pronunciation Training System (CAPT) has become an important learning aid in second language (L2) learning. Our approach to CAPT is based on the use of phonologi...
154
click to vote
VL
1997
IEEE
15 years 9 months ago
1997
IEEE
In this paper we present a framework of syntactic models for the definition and implementation of visual languages. We analyze a wide range of existing visual languages and, for e...