6794 search results - page 997 / 1359 » Semantics of Visual Languages |
140
click to vote
CIKM
2009
Springer
16 years 18 days ago
2009
Springer
Lexical databases are invaluable sources of knowledge about words and their meanings, with numerous applications in areas like NLP, IR, and AI. We propose a methodology for the au...
155
click to vote
IDC
2009
Springer
16 years 17 days ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
130
click to vote
TPHOL
2007
IEEE
16 years 8 days ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
150
click to vote
WCRE
2007
IEEE
16 years 8 days ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
283
click to vote
AISADM
2007
Springer
16 years 6 days ago
2007
Springer
An unsolved problem in AIS is adaptive ontologies. Semantic Web requires flexible ontologies adaptive to user needs and to Web contents. The paper describes emotional intelligent a...