Sciweavers

2381 search results - page 191 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
DLOG
2008
15 years 7 months ago
Actions over a Constructive Semantics for ALC
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
Loris Bozzato, Mauro Ferrari, Paola Villa
DLOG
2011
14 years 10 months ago
Status QIO: An Update
We prove co-N2ExpTime-hardness for conjunctive query entailment in the description logic ALCOIF , thus improving the previously known 2ExpTime lower bound. The result transfers to ...
Birte Glimm, Yevgeny Kazakov, Carsten Lutz
RSP
2005
IEEE
155views Control Systems» more  RSP 2005»
16 years 6 days ago
Optimization Techniques for ADL-Driven RTL Processor Synthesis
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...
Oliver Schliebusch, Anupam Chattopadhyay, Ernst Ma...
ISCAS
2007
IEEE
125views Hardware» more  ISCAS 2007»
16 years 28 days ago
XML-driven Exploitation of Combined Scalability in Scalable H.264/AVC Bitstreams
— The heterogeneity in the contemporary multimedia environments requires a format-agnostic adaptation framework for the consumption of digital video content. Scalable bitstreams ...
Davy De Schrijver, Wesley De Neve, Koen De Wolf, P...
OZCHI
2006
ACM
16 years 18 days ago
InfoScent evaluator: a semi-automated tool to evaluate semantic appropriateness of hyperlinks in a web site
In this paper, we present InfoScent Evaluator, a tool that automatically evaluates the semantic appropriateness of the descriptions of hyperlinks in web pages. The tool is based o...
Christos Katsanos, Nikolaos K. Tselios, Nikolaos M...