6794 search results - page 869 / 1359 » Semantics of Visual Languages |
207
click to vote
WADT
2004
Springer
16 years 9 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
233
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
205
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Advanced Text Mining (TM) such as semantic enrichment of papers, event or relation extraction, and intelligent Question Answering have increasingly attracted attention...
194
click to vote
VLC
2008
15 years 6 months ago
2008
This article describes an architecture for translating speech into Spanish Sign Language (SSL). The architecture proposed is made up of four modules: speech recognizer, semantic a...
230
click to vote
AND
2010
15 years 4 months ago
2010
On the Internet, users often encounter noise in the form of spelling errors or unknown words, however, dishonest, unreliable, or biased information also acts as noise that makes i...