302 search results - page 37 / 61 » A Comparison of Upper Ontologies |
FORMATS
2009
Springer
13 years 12 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
AHSWN
2010
13 years 8 months ago
2010
The specific challenges of multihop wireles networks lead to a strong research effort on efficient protocols design where the offered capacity is a key objective. More specifically...
EOR
2007
13 years 8 months ago
2007
Performance evaluation of complex systems is a critical issue and bounds computation provides confidence about service quality, reliability, etc. of such systems. The stochastic ...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper evaluates the performance of edge-based directional probability distributions as features in writer identification in comparison to a number of non-angular features. It...
HAPTICS
2009
IEEE
14 years 2 months ago
2009
IEEE
This work presents a new tactile display device for relaying contact information to locations along the human arm. The system is intended to facilitate teleoperation of whole-arm ...