183 search results - page 16 / 37 » Canonical Big Operators |
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper deals with the haptic rendering of collisions between a human operator and rigid objects in a virtual environment. The focus being on high-velocity impacts on a rigi...
WISE
2005
Springer
14 years 2 months ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...
STACS
2010
Springer
14 years 3 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces a...
MFCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...