1768 search results - page 309 / 354 » A Logic for Algebraic Effects |
169
click to vote
DAS
2006
Springer
15 years 9 months ago
2006
Springer
The research on offline handwritten Arabic character recognition has received more and more attention in recent years, because of the increasing needs of Arabic document digitizati...
150
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
226
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
138
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
168
click to vote
FC
2000
Springer
15 years 9 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...