623 search results - page 79 / 125 » Relational Parametricity for Control Considered as a Computa... |
190
click to vote
ICDE
2002
IEEE
16 years 1 months ago
2002
IEEE
Difference, intersection, semi-join and anti-semi-join may be considered binary subset operators, in that they all return a subset of their left-hand argument. These operators are...
101
click to vote
WSC
2008
15 years 2 months ago
2008
We use computer simulation to study the performance of alternative real-time delay estimators in heavily loaded multiserver queueing models. These delay estimates may be used to m...
NIPS
2008
15 years 1 months ago
2008
One of the original goals of computer vision was to fully understand a natural scene. This requires solving several sub-problems simultaneously, including object detection, region...
SIAMSC
2008
14 years 11 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
ISSRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...