3379 search results - page 386 / 676 » Combinators for Interaction Nets |
166
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a new approach for using semantic wikis for collaborative patent search and annotation. We describe an extension that allows integrating interactive visua...
153
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. This paper reports on experiments performed in the development of the QALL-ME system, a multilingual QA infrastructure capable of handling input requests both in written ...
198
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Many organizations pursue knowledge management (KM) initiatives, with different degrees of success. One key aspect of KM often neglected in practice is that it not only concerns t...
160
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Compiler technology for multimedia extensions must effectively utilize not only the SIMD compute engines but also the various levels of the memory hierarchy: superword registers,...
213
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...