3865 search results - page 281 / 773 » From Bidirectionality to Alternation |
158
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
139
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
186
click to vote
IMR
1999
Springer
15 years 11 months ago
1999
Springer
A novel algorithm to generate quad- and hex-dominant, semistructured meshes is presented. The algorithm utilizes a three-step, advancing layer scheme to generate the mesh in struc...
148
click to vote
ISW
1999
Springer
15 years 11 months ago
1999
Springer
Micropayments are electronic payments of small amount. Given their low value, the cost of the corresponding electronic transactions should also be kept low. Current micropayment sc...
203
click to vote
LPNMR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...