4340 search results - page 771 / 868 » Formal Methods and Cryptography |
125
click to vote
AAAI
1997
15 years 5 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
127
click to vote
BNCOD
1997
15 years 5 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
138
click to vote
AAAI
1994
15 years 5 months ago
1994
1 We have developed an approach to acquire complicated user optimization criteria and use them to guide iterative solution improvement. The eectiveness of the approach was tested ...
134
click to vote
DIMACS
1996
15 years 5 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
127
click to vote
CASCON
1992
15 years 5 months ago
1992
Given a graph G and a drawing or layout of G, it is sometimes desirable to alter or adjust the layout. The challenging aspect of designing layout adjustment algorithms is to maint...