Sciweavers

7066 search results - page 321 / 1414
» Contact Relations with Applications
Sort
View
FORMATS
2010
Springer
15 years 4 months ago
Simulation and Bisimulation for Probabilistic Timed Automata
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
Jeremy Sproston, Angelo Troina
ICRA
2008
IEEE
119views Robotics» more  ICRA 2008»
16 years 1 months ago
Perception of haptic force magnitude during hand movements
— 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...
ISMVL
2008
IEEE
126views Hardware» more  ISMVL 2008»
16 years 1 months ago
Betweenness, Metrics and Entropies in Lattices
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...
Dan A. Simovici
ICDT
2007
ACM
136views Database» more  ICDT 2007»
16 years 27 days ago
Representing Data as Resources in RDF and OWL
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...
Pierre-Antoine Champin
AGILEDC
2006
IEEE
16 years 24 days ago
Adding Usability Testing to an Agile Project
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...
Gerard Meszaros, Janice Aston