446 search results - page 27 / 90 » Using Natural Language Generation in Automatic Route Descrip... |
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
194
click to vote
EUROPKI
2009
Springer
14 years 9 months ago
2009
Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...
ITCC
2002
IEEE
15 years 4 months ago
2002
IEEE
The needs for managing similar documents in different languages increases with the growing amounts of electronic information available in documents of the same type (e.g. news str...
116
Voted
ENTCS
2006
14 years 11 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...
116
click to vote
NLDB
2007
Springer
15 years 5 months ago
2007
Springer
Word sense disambiguation is the task to identify the intended meaning of an ambiguous word in a certain context, one of the central problems in natural language processing. This p...