Sciweavers

2845 search results - page 47 / 569
» Constraints over Ontologies
Sort
View
CONSTRAINTS
2007
112views more  CONSTRAINTS 2007»
13 years 8 months ago
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
Francisco Azevedo
TON
2010
129views more  TON 2010»
13 years 7 months ago
QoS-based manycasting over optical burst-switched (OBS) networks
Abstract—Many distributed applications require a group of destinations to be coordinated with a single source. Multicasting is a communication paradigm to implement these distrib...
Balagangadhar G. Bathula, Vinod Vokkarane
INFOCOM
2007
IEEE
14 years 3 months ago
QoS-Driven Power Allocation Over Parallel Fading Channels With Imperfect Channel Estimations in Wireless Networks
— We propose the quality-of-service (QoS) driven power allocation schemes for parallel fading channels when considering imperfect channel estimations. In particular, the parallel...
Jia Tang, Xi Zhang
CADE
2005
Springer
14 years 9 months ago
The OWL Instance Store: System Description
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
Sean Bechhofer, Ian Horrocks, Daniele Turi
DLOG
2011
13 years 12 days ago
On (In)Tractability of OBDA with OWL 2 QL
We show that, although conjunctive queries over OWL 2 QL ontologies are reducible to database queries, no algorithm can construct such a reduction in polynomial time without changi...
Stanislav Kikot, Roman Kontchakov, Michael Zakhary...