Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
— Haptic interfaces are used increasingly in medical systems and related applications, but relatively little is known on the effectiveness of these interfaces. This paper reports...
Xing-Dong Yang, Walter F. Bischof, Pierre Boulange...
We investigate a class of metrics on lattices that are compatible with the partial order defined by the lattice using the ternary relation of betweenness that can be naturally de...
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...
Usability testing based on paper prototypes and early versions of the software were added to the agile development process for the second application release resulting in a signif...