Sciweavers

1485 search results - page 87 / 297
» connection 2010
Sort
View
SEMWEB
2010
Springer
15 years 3 months ago
Justification Oriented Proofs in OWL
Abstract. Justifications -- that is, minimal entailing subsets of an ontology -- are currently the dominant form of explanation provided by ontology engineering environments, espec...
Matthew Horridge, Bijan Parsia, Ulrike Sattler
DATE
2010
IEEE
123views Hardware» more  DATE 2010»
15 years 3 months ago
Accelerating Lightpath setup via broadcasting in binary-tree waveguide in Optical NoCs
In this paper, we propose a binary-tree waveguide connected Optical-Network-on-Chip (ONoC) to accelerate the establishment of the lightpath. By broadcasting the control data in the...
Binzhang Fu, Yinhe Han, Huawei Li, Xiaowei Li
ECEASST
2010
15 years 3 months ago
Checking Graph-Transformation Systems for Confluence
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
Detlef Plump
ICRA
2010
IEEE
189views Robotics» more  ICRA 2010»
15 years 3 months ago
Discovering and mapping complete surfaces with stereo
This paper is about the automated discovery and mapping of surfaces using a stereo pair. We begin with the observation that for any workspace which is topologically connected (i.e....
Robert Shade, Paul Newman
CDC
2010
IEEE
119views Control Systems» more  CDC 2010»
15 years 26 days ago
Multichannel small-gain theorems for large scale networked systems
We consider large scale interconnected systems where some of the interconnections are characterized by uncertain bounded delays. The delays may for instance be due to a communicati...
Rudolf Sailer, Fabian Wirth