SelectiveDynamic Manipulation (SDM) is a paradigm for interacting with objects in visualizations, Its methodsoffer a high degree of selectivity, in choosing object sets, in the se...
Mei C. Chuah, Steven F. Roth, Joe Mattis, John Kol...
as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...
One of the most important but neglected aspects of a simulation study is the proper design and analysis of simulation experiments. In this tutorial we give a stateof-the-art prese...
Abstract. We devise a theoretical model for dichotomic search algorithms for constrained optimization. We show that, within our model, a certain way of choosing the breaking point ...
We examine the problem of choosing word order for a set of dependency trees so as to minimize total dependency length. We present an algorithm for computing the optimal layout of ...