1768 search results - page 190 / 354 » A Logic for Algebraic Effects |
191
click to vote
RSP
2003
IEEE
16 years 13 days ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
191
click to vote
TPHOL
2003
IEEE
16 years 13 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
185
click to vote
PODC
2003
ACM
16 years 12 days ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
212
click to vote
APWEB
2003
Springer
16 years 12 days ago
2003
Springer
Search engines are among the most important applications or services on the web. Most existing successful search engines use global ranking algorithms to generate the ranking of do...
182
click to vote
IFSA
2003
Springer
16 years 11 days ago
2003
Springer
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that are nonlinear convolutions...