6054 search results - page 867 / 1211 » Implementation of Andorra-based Languages |
250
click to vote
JSS
2008
15 years 6 months ago
2008
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proli...
541
click to vote
JUCS
2008
15 years 6 months ago
2008
: Human-Computer Interaction (HCI) is a challenging discipline that is currently concerned with the design, implementation and evaluation of interactive systems for human use, as w...
159
Voted
LISP
2008
15 years 6 months ago
2008
Abstract. We discuss the implications of the desire to augment a functionalprogramming language with a derivative-taking operator using forward-mode automatic differentiation (AD)....
178
click to vote
JODS
2006
15 years 6 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
176
click to vote
ENTCS
2007
15 years 6 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...